Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
|
EDV / Informatik |
110.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
A General Framework for Reasoning on Inconsistency
|
EDV / Informatik |
55.50 |
|
| Buch |
 Sprache:
Englisch / Autor: V. S. Subrahmanian / Einband: Kartoniert |
|
|
|
|
 |
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Unfoldings: A Partial-Order Approach to Model Checking
|
EDV / Informatik |
153.00 |
|
| Buch |
Sprache:
Englisch / Autor: Javier Esparza / Einband: Kartoniert |
|
|
|
|
 |
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
|
EDV / Informatik |
135.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Abstraction, Refinement and Proof for Probabilistic Systems
|
EDV / Informatik |
203.00 |
|
| Buch |
Sprache:
Englisch / Autor: Annabelle McIver / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
|
EDV / Informatik |
64.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Confe
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
|
EDV / Informatik |
120.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
|
Schulbücher |
104.00 |
|
| Buch |
Sprache:
Englisch / Autor: Yves Bertot / Einband: Kartoniert |
|
|
|
|
 |
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
|
EDV / Informatik |
130.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Implementation and Application of Automata: 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings
|
EDV / Informatik |
110.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017,
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
|
EDV / Informatik |
153.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Modern Formal Methods and Applications
|
Naturwissensch., Medizin, Technik |
142.00 |
|
| Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
 |
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
|
EDV / Informatik |
124.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
ZB 2005: Formal Specification and Development in Z and B - 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceeding
|
EDV / Informatik |
147.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Autor: R. Kurki-Suonio / Einband: Kartoniert |
|
|
|
|
| / 18  |
Newsfeed | 
Facebook | 
Twitter
