Bücher zum Ex Libris-Tiefpreis
Portofreie Lieferung und über 650 Abholorte
Über 15 Millionen Artikel
Cumulus-Punkte sammeln
Willkommen. Schön, sind Sie da!
Mein Ex Libris
Jetzt anmelden
DE
FR
Kontakt
Hilfe
Service
Über Ex Libris
Firmenkundschaft
Filialen
0
0
Erweiterte Suche
Bücher
E-Books
Filme
Musik
Games
Papeterie
Geschenke & Fun
Spiele
Club-Welt
Geschenkefinder
Inspirations-Welt
Gutscheine schenken
Home
Bücher
English Books
IT & Informatik
Informatik
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
,
Ernst-Rüdiger Olderog
,
Frank S. De Boer
(0)
Erste Bewertung abgeben
Leseprobe
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supp...
Weiterlesen
Tiefpreis
CHF
121.60
Print on Demand - Exemplar wird für Sie besorgt.
Kostenlose Lieferung
Fester Einband
Kartonierter Einband
CHF
92.80
E-Book (pdf)
CHF
66.90
Fester Einband
CHF
121.60
In den Warenkorb
Merken
Wird oft zusammen gekauft
Andere Kunden kauften auch
Mehr anzeigen
Mehr entdecken:
IT & Informatik
Allgemein & Lexika
,
Anwendungs-Software
,
Informatik
,
Programmiersprachen