Herzlich Willkommen!
Mehr Infos: Haupt Newsletter
Mehr Bücher: Haupt Buchhandlung
Zur Startseite gehen
0,00 CHF*
Kategorien

Zu "formal verifications" wurden 26 Produkte gefunden

Suchergebnis | hauptverlag

Filter
Computer Aided Verification
Computer Aided Verification

53,50 CHF*
Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years

53,50 CHF*
Interactive Theorem Proving
Interactive Theorem Proving

96,30 CHF*
Formal Methods and Software Engineering
Formal Methods and Software Engineering

53,50 CHF*
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems

53,50 CHF*
Computer Aided Verification
Computer Aided Verification

53,50 CHF*
New Trends in Model and Data Engineering
New Trends in Model and Data Engineering

53,50 CHF*
Logic, Language, and Security
Logic, Language, and Security

64,20 CHF*
Formal Methods
Formal Methods

96,30 CHF*
Computer Aided Verification
Computer Aided Verification

42,80 CHF*
NASA Formal Methods
NASA Formal Methods

79,15 CHF*
Integrated Formal Methods
Integrated Formal Methods

53,50 CHF*
Theory and Applications of Satisfiability Testing – SAT 2017
Theory and Applications of Satisfiability Testing – SAT 2017

53,50 CHF*
Principles of Security and Trust
Principles of Security and Trust

53,50 CHF*
Computational Complexity and Property Testing
Computational Complexity and Property Testing

90,95 CHF*
Formal Methods
Formal Methods

117,70 CHF*
NASA Formal Methods
NASA Formal Methods

90,95 CHF*
Software Engineering and Formal Methods
Software Engineering and Formal Methods

53,50 CHF*
Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications

53,50 CHF*
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

90,95 CHF*
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

53,50 CHF*
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Neu
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

70,60 CHF*
Details
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Neu
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

53,50 CHF*
Details
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Neu
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

79,15 CHF*
Details
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...