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
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.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 184 b
75.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Buch Hardcover
common.buy 45.69 €
Demnächst
Les origines occultistes de la franc-maçonnerie Lozac'hmeur / Buch Broschur
common.buy 18.89 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Buch Broschur
common.buy 9.80 €
Allgemeine Biologie Oscar Hertwig / Buch Broschur
common.buy 28.19 €
Мёртвые души Николай Гоголь / Buch Broschur
common.buy 8.79 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Buch Broschur
common.buy 9.99 €
Studiolo Giorgio Agamben / E-Book Adobe ePub DRM
common.buy 9.19 €
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Buch Broschur
common.buy 75.39 €
Samsø Kulturreiseführer Kristen Benning / Buch Broschur
common.buy 17.90 €
Quand les animaux nous font du bien Paoli laurence / Buch Broschur
common.buy 21.39 €
NATURALEZA DE LA POLITICA, LA CASTELLANO / Buch Buch
common.buy 9.79 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Buch Broschur
common.buy 15.95 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Buch Broschur
common.buy 25.29 €
Esclave à Alger. Récit de captivité de Joao Mascarenhas (1621-1626) João de Carvalho Mascarenhas / Buch Broschur
common.buy 23.89 €
Le second crime de la Dame en noir - roman Lorde Buch Broschur
common.buy 19.89 €
Dilemma Mutterschaft Claudia Winkler / Buch Broschur
common.buy 59.00 €
Kleine Feigheiten Martina Naubert / Buch Broschur
common.buy 9.95 €
Kinder Schlager Party Frank Und Die Nervensägen Zander / Audio Audio CD
common.buy 19.99 €
Der Deutsche Aufsatz: Neun Abtheilungen Stilistischer Aufgaben Und Ausarbeitungen (1866) Ernst Ludwig Rochholz / Buch Broschur
common.buy 30.69 €
Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer / Buch Broschur
common.buy 25.69 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Buch Broschur
common.buy 32.39 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Buch Buch
common.buy 16.89 €

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 13.89 €
Cogat Practice Test (Kindergarten and Grade 1) Bright Minds Publishing Seattle Wa / Buch Broschur
common.buy 23.69 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Buch Broschur
common.buy 21.99 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Buch Broschur
common.buy 30.79 €
Divine Human in the Scri[tures Tayler Lewis / Buch Hardcover
common.buy 32.29 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Buch Hardcover
common.buy 35.79 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Buch Broschur
common.buy 62.19 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Buch Broschur
common.buy 9.39 €
Stars in His Eyes Marti Gironell / Buch Hardcover
common.buy 21.69 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Buch Hardcover
common.buy 15.99 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Buch Broschur
common.buy 23.49 €
Alfa Romeo Alfasud Martin Chris Martin / Buch Hardcover
common.buy 27.89 €
Come Out Swinging Lucia Trimbur / E-Book Adobe ePub DRM
common.buy 32.39 €
"JEALOUSY" Sarah Flowers / Buch Broschur
common.buy 13.89 €
AI in Modern Architecture and Design Asmaa Ibrahim / Buch Hardcover
common.buy 109.29 €
New Channels of Music Distribution C. Michael Brae / Buch Broschur
common.buy 52.39 €
Superconductors at the Nanoscale Roger Wördenweber / Buch Hardcover
common.buy 148.79 €
Moving Past Cindy Cipriani / Buch Hardcover
common.buy 27.09 €
Low-Born Lass Mary Emma Martin / Buch Broschur
common.buy 21.79 €
Eighth Method Brian Bain / Buch Broschur
common.buy 10.49 €
Top
Social work in end-of-life and palliative care Malcolm Payne / Buch Broschur
common.buy 31.19 €
Housing in Rural America Joseph N. Belden / Buch Broschur
common.buy 47.69 €
Thought & Culture of the English Renaissance Elizabeth M. Nugent / Buch Broschur
common.buy 104.19 €
Who Are We?, English edition Samuel P. Huntington / Buch Broschur
common.buy 14.29 €

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?