Zum Welttag des Buches: 15% Rabatt auf Bücher (DE/EN) und ausgewählte E-Books!
Jetzt profitieren
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
Disney-Welten
Gutscheine schenken
Home
Bücher
E-Books Deutsch
Naturwissenschaften, Medizin, Informatik, Technik
Informatik, EDV
Informatik
Programmverifikation
Programmverifikation
Krzysztof R. Apt
,
Ernst-Rüdiger Olderog
E-Book (pdf)
(0)
Erste Bewertung abgeben
Inhalt 1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- 1.2 Programmkorrektheit.- 1.3 Struktur dieses Buches.- 2 Vorberei...
Weiterlesen
15%
31.90
CHF
27.10
Sie sparen CHF 4.80
Download steht sofort bereit
Informationen zu E-Books
E-Book (pdf)
Kartonierter Einband
CHF
35.60
30.25
E-Book (pdf)
CHF
31.90
27.10
In den Warenkorb
Merken
Wird oft zusammen gekauft
Andere Kunden kauften auch
Mehr anzeigen
Tags
#Fairnessannahmen
,
#Operationelle Semantik
,
#Programmtransformation
,
#Programmverifikation
,
#Semantik
,
#Variable
,
#Verifikation
Mehr entdecken:
Informatik, EDV
Allgemeines, Lexika
,
Anwendungs-Software
,
Betriebssysteme, Benutzeroberflächen
,
Datenkommunikation, Netzwerke
,
Hardware
,
Informatik
,
Internet
,
Programmiersprachen
,
Sonstiges