Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Verification of Sequential and Concurrent Programs

Sprache EnglischEnglisch
Buch Broschur
Buch Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Libristo-Code: 08577018
Verlag Springer London Ltd, März 2012
This book explores one of the most common approaches to program verification, known as the assertion... Vollständige Beschreibung
? points 206 b
84.09 € inkl. MwSt.
Externes Lager Wir versenden in 8-11 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Buch Hardcover
common.buy 55.89 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Buch Broschur
common.buy 15.95 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Buch Broschur
common.buy 11.19 €
Мёртвые души Николай Гоголь / Buch Broschur
common.buy 9.79 €
Samsø Kulturreiseführer Kristen Benning / Buch Broschur
common.buy 19.69 €
Quand les animaux nous font du bien Paoli laurence / Buch Broschur
common.buy 26.69 €
Le second crime de la Dame en noir - roman Lorde Buch Broschur
common.buy 24.79 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Buch Broschur
common.buy 29.19 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Buch Buch
common.buy 18.79 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Buch Broschur
common.buy 36.49 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Buch Broschur
common.buy 9.99 €
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Buch Broschur
common.buy 85.39 €

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 502
EAN 9781447125136
ISBN 9781447125136
Libristo-Code 08577018
Verlag Springer London Ltd
Gewicht 746
Abmessungen 156 x 235 x 28

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Who Wrote The Book of Death? MR Steve Liskow / Buch Broschur
common.buy 17.29 €
"JEALOUSY" Sarah Flowers / Buch Broschur
common.buy 16.19 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Buch Broschur
common.buy 27.59 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Buch Hardcover
common.buy 17.69 €
Stars in His Eyes Marti Gironell / Buch Hardcover
common.buy 25.79 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Buch Broschur
common.buy 11.59 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Buch Broschur
common.buy 69.09 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Buch Hardcover
common.buy 35.79 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Buch Broschur
common.buy 26.29 €
Eighth Method Brian Bain / Buch Broschur
common.buy 12.19 €
Top
Who Are We?, English edition Samuel P. Huntington / Buch Broschur
common.buy 17.39 €
Housing in Rural America Joseph N. Belden / Buch Broschur
common.buy 56.29 €
Social work in end-of-life and palliative care Malcolm Payne / Buch Broschur
common.buy 36.89 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Buch Broschur
common.buy 37.99 €
Superconductors at the Nanoscale Roger Wördenweber / Buch Hardcover
common.buy 165.19 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?