Logics of Specification Languages

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Repost) eBooks & eLearning

Posted by DZ123 at July 6, 2019

Fabio Mogavero, "Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics"
English | 2013 | ISBN: 9491216945 | PDF | pages: 165 | 1.9 mb

Details

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics [Repost] eBooks & eLearning

Posted by hill0 at Jan. 16, 2017

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing) by Fabio Mogavero
English | 12 Aug. 2013 | ISBN: 9491216945 | 168 Pages | PDF | 2.19 MB

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.

Details

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Work eBooks & eLearning

Posted by insetes at Dec. 29, 2024

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers By Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
1995 | 532 Pages | ISBN: 354059132X | PDF | 12 MB

Details

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of eBooks & eLearning

Posted by roxul at April 17, 2020

Jean Goubault-Larrecq, "Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of"
English | ISBN: 3030452301 | 2020 | 659 pages | PDF | 27 MB

Details

Programming Languages and Systems eBooks & eLearning

Posted by priava at May 30, 2009

Programming Languages and Systems
Springer | ISBN: 1602390800 | 2007-04-12 | PDF | 538 pages | 6 Mb

Details

Foundations of Software Science and Computational Structures eBooks & eLearning

Posted by priava at May 30, 2009

Foundations of Software Science and Computational Structures
Springer | ISBN: 3540784977 | 2008-04-28 | PDF | 505 pages | 5 Mb

Details

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Procee eBooks & eLearning

Posted by insetes at Nov. 18, 2018

Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings By Gabriel Ciobanu, Dominique Méry (eds.)
2014 | 478 Pages | ISBN: 3319108816 | PDF | 6 MB

Details

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [Repost] eBooks & eLearning

Posted by ChrisRedfield at Dec. 5, 2013

Wojciech Penczek, ‎Agata Półrola - Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Published: 2006-06-26 | ISBN: 3540328696 | PDF | 258 pages | 3 MB

Details

Foundations of Software Science and Computational Structures eBooks & eLearning

Posted by step778 at Nov. 8, 2018

Andrew D. Gordon, "Foundations of Software Science and Computational Structures"
2003 | pages: 452 | ISBN: 3540008977 | PDF | 24,8 mb

Details

Software Engineering 2: Specification of Systems and Languages (Repost) eBooks & eLearning

Posted by tukotikko at Sept. 1, 2013

Software Engineering 2: Specification of Systems and Languages By Dines Bjørner
2006 | 780 Pages | ISBN: 3540211500 | PDF | 40 MB

Details