1. Home
Refine Your Search Clear All
Categories
Subjects / Genre
Formats
Availability Clear
Price
Age Range

Search results for "Bernhard Steffen"

Displaying results  1 to 48 of 78
Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
by Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$0.00
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
The Combined Power of Research, Education, and Dissemination
The Combined Power of Research, Education, and Dissemination
by Mike Hinchey and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$98.99
Real Time and Such
Real Time and Such
by Susanne Graf, Paul Pettersson and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$116.99
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$98.99
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$98.99
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$116.99
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$89.99
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$98.99
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$116.99
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$98.99
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
by Dirk Beyer, Marieke Huisman, Fabrice Kordon and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$0.00
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
by Ernst-Rüdiger Olderog, Bernhard Steffen and Wang Yi
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$89.99
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$98.99
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$116.99
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Leveraging Applications of Formal Methods, Verification and Validation: Applications
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Computing and Software Science
Computing and Software Science
by Bernhard Steffen and Gerhard Woeginger
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$45.99
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
SOFSEM 2017: Theory and Practice of Computer Science
SOFSEM 2017: Theory and Practice of Computer Science
by Mark van den Brand, Christel Baier, Tiziana Margaria, Mike Hinchey, Bernhard Steffen and Johann Eder
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$143.99
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
by Tiziana Margaria and Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
by Bernhard Steffen
Digital Delivery
Epub (Kobo), Epub (Adobe)
 
$76.99
Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
by Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$148.38
Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
by Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$273.07
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$160.85
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$137.19
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$137.19
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$111.38
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$160.85
The Combined Power of Research, Education, and Dissemination
The Combined Power of Research, Education, and Dissemination
by Mike Hinchey and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$137.19
Real Time and Such
Real Time and Such
by Susanne Graf, Paul Pettersson and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$111.38
Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
by Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
RRP  $119.0
$117.90
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$148.38
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$148.38
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$137.19
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$173.32
Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
by Ernst-Rüdiger Olderog, Bernhard Steffen and Wang Yi
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$137.19
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$148.38
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$111.38
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$173.32
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$111.38
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Leveraging Applications of Formal Methods, Verification and Validation: Applications
by Tiziana Margaria and Bernhard Steffen
In Stock with Supplier Aim to send in 2 - 3 weeks
Paperback
 
$111.38