Name: Verification of Sequential and Concurrent Programs
Price: 93.00 EUR
Availability: InStock
Author: Ernst-Rüdiger Olderog
ISBN: 9781848827448

Verification of Sequential and Concurrent Programs von Ernst-Rüdiger Olderog

Sie sparen 13% des UVP sparen 13%

Über Verification of Sequential and Concurrent Programs

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

Sprache:
Englisch

ISBN:
9781848827448

Verlag:
Springer London Ltd

Einband:
Gebundene Ausgabe

Seitenzahl:
502

Veröffentlicht:
2. Oktober 2009

Ausgabe:
3200932010

Abmessungen:
237x167x32 mm.

Gewicht:
922 g.

93,00 € inkl. MwSt.
~~106,99 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Ernst-Rüdiger Olderog

Alle Bücher von Ernst-Rüdiger Olderog anzeigen

Beschreibung von Verification of Sequential and Concurrent Programs

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

Kund*innenbewertungen von Verification of Sequential and Concurrent Programs

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Verification of Sequential and Concurrent Programs ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Verification of Sequential and Concurrent Programs

Über Ernst-Rüdiger Olderog

Beschreibung von Verification of Sequential and Concurrent Programs

Kund*innenbewertungen von Verification of Sequential and Concurrent Programs

Willkommen bei den Tales Buchfreunden und -freundinnen