Brauchen Sie Hilfe?
DE
US
CA
UK
ES
FR
DE
IT
Kategorien
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
Information
Über uns
Geschäftsbedingungen
Datenschutz-Bestimmungen
Blog
Kontakt
Home
Medien
Bücher
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
94.50 EUR
85.59 EUR
9% Off
Teilen:
Angebote
Gesponsert
Verification of Sequential and Concurrent Programs, Fachbücher von Ernst-Rüdiger Olderog, Krzysztof R. Apt, Frank S. de Boer
Galaxus.de
85.59 EUR
26-07-2026 00:32:01
Gesponsert
Verification of Sequential and Concurrent Programs
SpringerLink DE
94.50 EUR
26-07-2026 08:25:26
Ähnliche Produkte
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
49.00 EUR
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
123.04 EUR
Formal Modeling and Verification of Cyber-Physical Systems
53.49 EUR
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
106.99 EUR
Automatic Verification of Sequential Infinite-State Processes
59.00 EUR