Suchergebnisse für "formal+methods"
396 Artikel gefunden
Suchfilter
Cover Logic, Language, Information, and Computation
 
Logic, Language, Information, and …
Broschiertes Buch

50,99 €
Cover Verification and Evaluation of Computer and Communication Systems
 
Verification and Evaluation of Computer …
Broschiertes Buch

44,99 €
Cover Rigorous State-Based Methods
 
Rigorous State-Based Methods
Broschiertes Buch

98,99 €
Cover Embedded Software Development for Safety-Critical Systems
Chris Hobbs 
Embedded Software Development for …
Gebundenes Buch

104,99 €
Cover The Genesis of Logic
Enric Trillas 
The Genesis of Logic
Broschiertes Buch

98,99 €
Cover Thinking Programs
Wolfgang …
Thinking Programs
Gebundenes Buch

53,99 €
Cover Logic, Language, Information, and Computation
 
Logic, Language, Information, and …
Broschiertes Buch

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

98,99 €
Cover Practical TLA+
Hillel Wayne 
Practical TLA+
Broschiertes Buch

32,99 €
Cover Security and Privacy
 
Security and Privacy
Broschiertes Buch

46,99 €
Cover Embedded Software Development for Safety-Critical Systems
Chris Hobbs (Canada …
Embedded Software Development for …
Broschiertes Buch

60,99 €
Cover Applied Cryptography and Network Security
 
Applied Cryptography and Network Security
Broschiertes Buch

98,99 €
Cover Applied Cryptography and Network Security
 
Applied Cryptography and Network Security
Broschiertes Buch

98,99 €
Cover Applied Cryptography and Network Security
 
Applied Cryptography and Network Security
Broschiertes Buch

98,99 €
Cover The Genesis of Logic
Enric Trillas 
The Genesis of Logic
Gebundenes Buch

98,99 €
Cover Rigorous State-Based Methods
 
Rigorous State-Based Methods
Broschiertes Buch

57,99 €
Cover Model Checking Software
 
Model Checking Software
Broschiertes Buch

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

50,99 €
Cover Embedded Software System Testing
Yongfeng Yin, Bo …
Embedded Software System Testing
Broschiertes Buch

67,99 €
Cover Distributed Ledger Technology
 
Distributed Ledger Technology
Broschiertes Buch

49,99 €
Cover Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops
 
Computer Safety, Reliability, and …
Broschiertes Buch

56,99 €
Cover Metamodeling for Extended Reality
Fabian Muff 
Metamodeling for Extended Reality
Gebundenes Buch

121,99 €
Cover Software Fault Prevention, Verification, and Validation
 
Software Fault Prevention, …
Broschiertes Buch

44,99 €
Cover Networked Systems
 
Networked Systems
Broschiertes Buch

116,99 €
Cover Components Operationally: Reversibility and System Engineering
 
Components Operationally: Reversibility …
Broschiertes Buch

45,99 €
Cover Agile-SOFL
Shaoying Liu 
Agile-SOFL
Broschiertes Buch

90,99 €
Cover Model Checking Software
 
Model Checking Software
Broschiertes Buch

34,99 €
Cover Mobile, Secure, and Programmable Networking
 
Mobile, Secure, and Programmable …
Broschiertes Buch

49,99 €
Cover TOOLympics Challenge 2023
 
TOOLympics Challenge 2023
Broschiertes Buch

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

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

44,99 €
Cover Security and Privacy in New Computing Environments
 
Security and Privacy in New Computing …
Broschiertes Buch

57,99 €
Cover Risks and Security of Internet and Systems
 
Risks and Security of Internet and Systems
Broschiertes Buch

91,99 €
Cover Engineering of Complex Computer Systems
 
Engineering of Complex Computer Systems
Broschiertes Buch

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

51,99 €
Cover Reliability in Cyber-Physical Systems: The Human Factor Perspective
 
Reliability in Cyber-Physical Systems: …
Gebundenes Buch

136,99 €
Cover Tools and Methods of Program Analysis
 
Tools and Methods of Program Analysis
Broschiertes Buch

49,99 €
Cover Agile-SOFL
Shaoying Liu 
Agile-SOFL
Gebundenes Buch

127,99 €
Cover Mathematical Foundations of Software Engineering
Gerard O'Regan 
Mathematical Foundations of Software …
Broschiertes Buch

46,99 €
Cover Conceptual Knowledge Structures
 
Conceptual Knowledge Structures
Broschiertes Buch

50,99 €
Cover Real Time and Such
 
Real Time and Such
Broschiertes Buch

38,99 €
Cover Verification, Model Checking, and Abstract Interpretation
 
Verification, Model Checking, and …
Broschiertes Buch

44,99 €
Cover Verification, Model Checking, and Abstract Interpretation
 
Verification, Model Checking, and …
Broschiertes Buch

44,99 €
Cover Fundamentals of Software Engineering
 
Fundamentals of Software Engineering
Broschiertes Buch

98,99 €
Cover Engineering Trustworthy Software Systems
 
Engineering Trustworthy Software Systems
Broschiertes Buch

38,99 €
Cover Applying Requirements and Business Analysis
Jean-Michel Bruel, …
Applying Requirements and Business …
Broschiertes Buch

38,99 €
Cover Engineering Safe and Trustworthy Cyber Physical Systems
 
Engineering Safe and Trustworthy Cyber …
Broschiertes Buch

50,99 €
Cover Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
 
Computer Safety, Reliability, and …
Broschiertes Buch

58,99 €
Cover Risks and Security of Internet and Systems
 
Risks and Security of Internet and Systems
Broschiertes Buch

49,99 €
Cover Coalgebraic Methods in Computer Science
 
Coalgebraic Methods in Computer Science
Broschiertes Buch

49,99 €
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 3 Zur Seite 3 4 Zur Seite 4 5 Zur Seite 5 6 Zur Seite 6 7 Aktuelle Seite 8 Zur Seite 8Zur nächsten Seite
Zur ersten SeiteZur vorherigen Seite...Weitere Seiten 6 Zur Seite 6 7 Aktuelle Seite...Weitere Seiten8Zur letzten Seite, Seite 8Zur nächsten Seite


Ähnlichkeitssuche: Fact®Finder von OMIKRON

Filter