Stephan Merz – författare
Visar alla böcker från författaren Stephan Merz. Handla med fri frakt och snabb leverans.
13 produkter
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
Av Stephan Merz, Nicolas Navet
E-bok, 2010
3454 kr
Lägg i varukorg
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and …
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
Av Stephan Merz, Nicolas Navet
E-bok, 2013
3454 kr
Lägg i varukorg
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and …
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
Av Nicolas Navet, Stephan Merz
Inbunden, 2008
3120 kr
Lägg i varukorg
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and …
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Av Stephan Merz, Jun Pang
Häftad, 2014
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide …
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Av Jun Pang, Stephan Merz
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide …
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Av Jasmin Christian Blanchette, Stephan Merz
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from …
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Av Stephan Merz, Jasmin Christian Blanchette
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from …
Formal Systems Specification
The RPC-Memory Specification Case Study
Av Manfred Broy, Stephan Merz m. fl.
Häftad, 1996
569 kr
Lägg i varukorg
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches …
Temporal Logic and State Systems
Inbunden, 2008
850 kr
Lägg i varukorg
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications …
Temporal Logic and State Systems
E-bok, 2008
1108 kr
Lägg i varukorg
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications …
Temporal Logic and State Systems
Häftad, 2010
850 kr
Lägg i varukorg
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications …
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Av Dominique Méry, Stephan Merz
Häftad, 2010
569 kr
Lägg i varukorg
ThisvolumecontainstheproceedingsofIFM2010,the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010,atthe INRIA researchcenterandthe LORIAlaboratoryinNancy,France. Previous editions were held in York, Dagstuhl, Turku, Canterbury, Eindhoven, Oxford, …
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Av Stephan Merz, Dominique Mery
E-bok, 2010
739 kr
Lägg i varukorg
