Suchergebnisse für ""Agostino Cortesi""
5 Artikel gefunden
Suchfilter
Cover Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi …
Verification, Model Checking, and …
Broschiertes Buch

39,99 €
Cover Static Analysis
Agostino Cortesi / …
Static Analysis
Broschiertes Buch

39,99 €
Cover Hyper-lattice Algebraic Model for Data Warehousing
Kabir C. Sen, …
Hyper-lattice Algebraic Model for Data …
Broschiertes Buch

38,99 €
Cover Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck / …
Verification, Model Checking, and …
Broschiertes Buch

39,99 €
Cover Hyper-lattice Algebraic Model for Data Warehousing (eBook, PDF)
Soumya Sen, Agostino …
Hyper-lattice Algebraic Model for Data …
eBook, PDF

40,95 €

Ähnliche Artikel

Cover Verified Software: Theories, Tools, and Experiments
 
Verified Software: Theories, Tools, and …
Broschiertes Buch

38,99 €
Cover Dependable Computing EDCC-4
Fabrizio Grandoni …
Dependable Computing EDCC-4
Broschiertes Buch

38,99 €
Cover Relational and Algebraic Methods in Computer Science
 
Relational and Algebraic Methods in …
Broschiertes Buch

38,99 €
Cover Temporal Logic and State Systems
Fred Kröger, …
Temporal Logic and State Systems
Gebundenes Buch

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

38,99 €
Cover Interactive Systems: Design, Specification, and Verification
Peter Forbrig / Bodo …
Interactive Systems: Design, …
Broschiertes Buch

39,99 €
Cover Computer Safety, Reliability, and Security
 
Computer Safety, Reliability, and Security
Broschiertes Buch

38,99 €
Cover Computing and Software Science
 
Computing and Software Science
Broschiertes Buch

23,99 €
Cover Formal Methods - Fun for Everybody
 
Formal Methods - Fun for Everybody
Broschiertes Buch

38,99 €
Cover High Integrity Software
Victor L. Winter / …
High Integrity Software
Gebundenes Buch

115,99 €


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter