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

Zu "formal verification" wurden 269 Produkte gefunden

Suchergebnis | Haupt Buchhandlung

Filter
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems

53,50 CHF*
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

117,70 CHF*
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

160,50 CHF*
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems

62,05 CHF*
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

90,95 CHF*
Security Standardisation Research
Security Standardisation Research

53,50 CHF*
Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method

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

53,50 CHF*
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems

53,50 CHF*
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments

53,50 CHF*
Verifpal User Manual
Verifpal User Manual

20,30 CHF*
From Data to Models and Back
From Data to Models and Back

64,20 CHF*
Quantitative Evaluation of Systems
Quantitative Evaluation of Systems

53,50 CHF*
Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective

160,50 CHF*
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms

90,95 CHF*
Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective

160,50 CHF*
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

53,50 CHF*
Transformation-Based Reactive Systems Development
Transformation-Based Reactive Systems Development

53,50 CHF*
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics

53,50 CHF*
Designing Correct Circuits
Designing Correct Circuits

53,50 CHF*
Computer-Aided Verification
Computer-Aided Verification

53,50 CHF*
Hybrid Systems: Computation and Control
Hybrid Systems: Computation and Control

53,50 CHF*
Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology

107,00 CHF*
Safe Comp 96
Safe Comp 96

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