Suchergebnisse für "modelchecking"
1435 Artikel gefunden
Suchfilter
Cover Dependable Software Engineering. Theories, Tools, and Applications
 
Dependable Software Engineering. …
Broschiertes Buch

38,99 €
Cover Business Standard Compliance and Requirements Validation Using Goal Models
Novarun Deb, Nabendu …
Business Standard Compliance and …
Gebundenes Buch

76,99 €
Cover Software Engineering and Formal Methods
 
Software Engineering and Formal Methods
Broschiertes Buch

42,99 €
Cover Testing Software and Systems
 
Testing Software and Systems
Broschiertes Buch

38,99 €
Cover Business Standard Compliance and Requirements Validation Using Goal Models
Novarun Deb, Nabendu …
Business Standard Compliance and …
Broschiertes Buch

76,99 €
Cover NASA Formal Methods
 
NASA Formal Methods
Broschiertes Buch

65,99 €
Cover Reachability Problems
 
Reachability Problems
Broschiertes Buch

61,99 €
Cover Formal Techniques for Distributed Systems
 
Formal Techniques for Distributed Systems
Broschiertes Buch

38,99 €
Cover Computer Aided Verification
 
Computer Aided Verification
Broschiertes Buch

77,99 €
Cover Technological Innovation for Value Creation
 
Technological Innovation for Value …
Broschiertes Buch

76,99 €
Cover Fundamentals of Computation Theory
 
Fundamentals of Computation Theory
Broschiertes Buch

38,99 €
Cover Web Services, Formal Methods, and Behavioral Types
 
Web Services, Formal Methods, and …
Broschiertes Buch

32,99 €
Cover Computer Aided Verification
 
Computer Aided Verification
Broschiertes Buch

38,99 €
Cover Critical Systems: Formal Methods and Automated Verification
 
Critical Systems: Formal Methods and …
Broschiertes Buch

38,99 €
Cover Formal Methods in Computer-Aided Design
Alan J. Hu / Andrew …
Formal Methods in Computer-Aided Design
Broschiertes Buch

39,99 €
Cover Computer Science Logic
Jerzy Marcinkowski / …
Computer Science Logic
Broschiertes Buch

39,99 €
Cover Computer Science Logic
Zoltán Ésik 
Computer Science Logic
Broschiertes Buch

76,99 €
Cover Algebraic Methodology and Software Technology
Michael Johnson …
Algebraic Methodology and Software …
Broschiertes Buch

39,99 €
Cover Declarative Agent Languages and Technologies II
João Leite / Andrea …
Declarative Agent Languages and …
Broschiertes Buch

39,99 €
Cover Formal Techniques for Computer Systems and Business Processes
Mario Bravetti / …
Formal Techniques for Computer Systems …
Broschiertes Buch

39,99 €
Cover CONCUR 2002 - Concurrency Theory
Lubos Brim / Petr …
CONCUR 2002 - Concurrency Theory
Broschiertes Buch

77,99 €
Cover Rewriting Techniques and Applications
Sophie Tison …
Rewriting Techniques and Applications
Broschiertes Buch

39,99 €
Cover Frontiers of Combining Systems
Alessandro Armando …
Frontiers of Combining Systems
Broschiertes Buch

39,99 €
Cover Theory and Practice of Model Transformations
 
Theory and Practice of Model …
Broschiertes Buch

38,99 €
Cover Infinity in Logic and Computation
 
Infinity in Logic and Computation
Broschiertes Buch

38,99 €
Cover Frontiers of Combining Systems
 
Frontiers of Combining Systems
Broschiertes Buch

38,99 €
Cover Application and Theory of Petri Nets 1995
DeMichelis 
Application and Theory of Petri Nets 1995
Broschiertes Buch

39,99 €
Cover Constraint Programming: Basics and Trends
Podelski 
Constraint Programming: Basics and Trends
Broschiertes Buch

39,99 €
Cover Generic Programming
Mehdi Jazayeri / …
Generic Programming
Broschiertes Buch

38,99 €
Cover Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
 
Reliability, Safety, and Security of …
Broschiertes Buch

49,99 €
Cover Formal Techniques for Distributed Objects, Components, and Systems
 
Formal Techniques for Distributed …
Broschiertes Buch

53,99 €
Cover Computer Aided Verification
 
Computer Aided Verification
Broschiertes Buch

31,99 €
Cover From Data to Models and Back
 
From Data to Models and Back
Broschiertes Buch

42,99 €
Cover Formal Methods and Software Engineering
 
Formal Methods and Software Engineering
Broschiertes Buch

38,99 €
Cover Structured Object-Oriented Formal Language and Method
 
Structured Object-Oriented Formal …
Broschiertes Buch

38,99 €
Cover Interactive Theorem Proving
 
Interactive Theorem Proving
Broschiertes Buch

68,99 €
Cover Automated Technology for Verification and Analysis
 
Automated Technology for Verification …
Broschiertes Buch

38,99 €
Cover New Trends in Model and Data Engineering
 
New Trends in Model and Data Engineering
Broschiertes Buch

38,99 €
Cover Formal Methods: Foundations and Applications
 
Formal Methods: Foundations and …
Broschiertes Buch

44,99 €
Cover Verified Software. Theories, Tools, and Experiments
 
Verified Software. Theories, Tools, and …
Broschiertes Buch

38,99 €
Cover Runtime Verification
 
Runtime Verification
Broschiertes Buch

57,99 €
Cover Software Technologies: Applications and Foundations
 
Software Technologies: Applications and …
Broschiertes Buch

39,99 €
Cover Tools and Algorithms for the Construction and Analysis of Systems
 
Tools and Algorithms for the …
Broschiertes Buch

38,99 €
Cover Formal Techniques for Distributed Objects, Components, and Systems
 
Formal Techniques for Distributed …
Broschiertes Buch

49,99 €
Cover Formal Methods for Industrial Critical Systems
 
Formal Methods for Industrial Critical …
Broschiertes Buch

38,99 €
Cover Software Engineering and Formal Methods
 
Software Engineering and Formal Methods
Broschiertes Buch

38,99 €
Cover Formal Methods - The Next 30 Years
 
Formal Methods - The Next 30 Years
Broschiertes Buch

39,99 €
Cover Tests and Proofs
 
Tests and Proofs
Broschiertes Buch

38,99 €
Cover Formal Techniques for Distributed Objects, Components, and Systems
 
Formal Techniques for Distributed …
Broschiertes Buch

49,99 €
Cover Tests and Proofs
 
Tests and Proofs
Broschiertes Buch

38,99 €
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 2 Zur Seite 2 3 Zur Seite 3 4 Zur Seite 4 5 Aktuelle Seite 6 Zur Seite 6 7 Zur Seite 7...Weitere Seiten29Zur letzten Seite, Seite 29Zur nächsten SeiteZur letzten Seite
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 4 Zur Seite 4 5 Aktuelle Seite...Weitere Seiten29Zur letzten Seite, Seite 29Zur nächsten SeiteZur letzten Seite


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter