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

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

Sie sparen 12% des UVP sparen 12%

Ü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:
9781447125136

Verlag:
Springer London Ltd

Einband:
Taschenbuch

Seitenzahl:
502

Veröffentlicht:
4. März 2012

Ausgabe:
32009

Abmessungen:
233x156x28 mm.

Gewicht:
746 g.

75,00 € inkl. MwSt.
~~85,59 €~~ 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