Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Programs, Recursion and Unbounded Choice

Name: Programs, Recursion and Unbounded Choice
Brand: Cambridge University Press
SKU: 02017941
Price: 65.09 EUR
Availability: InStock
Author: Wim H. Hesselink
ISBN: 9780521018296

Wim H. Hesselink

Sprache

Englisch

Buch Broschur

Libristo-Code: 02017941

Verlag Cambridge University Press, August 2005

This book is a complete account of the predicate transformation calculus semantics of sequential pro... Vollständige Beschreibung

Libristo-Code: 02017941

159 b

65.09 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Virtue Ethics and Professional Roles Justin OakleyDean Cocking

Broschur

64.19 €

Dialogue and Instruction, 1 Robbert-Jan Beun

Broschur

53.79 €

Reception Studies Lorna Hardwick

Broschur

33.69 €

THE ANCIENT MAGUS BRIDE 2 (MANGA VO) YAMAZAKI KORÉ

Broschur

15.39 €

MODA FASHION KLICZKOWSKI

Buch

13.49 €

Chcete se dostat na lékařskou fakultu? Pavel Řezanka

Broschur

15.19 €

Tiché kroky rokov Anton Fiala

binding.

18.79 €

The Spring Cup, mit 1 Audio-CD, m. 1 Audio-CD Christian Holzmann

Broschur

14.49 €

Klettersteige Julische Alpen Alois Goller

Broschur

21.49 €

Cialo i kamien Richard Sennett

Broschur

17.89 €

Shy - Tome 16 Miki Bukimi

Broschur

10.89 €

Nová literatura pro střední školy 2 Pracovní sešit

Broschur

9.99 €

Orar con San Antonio Triviño Monrabal

Broschur

14.79 €

Contribution A l'Etude Du Traitement de l'Appendicite Lecorney-H-P

Broschur

19.09 €

Elvis Gold Elvis Presley Audio

Audio CD

27.79 €

Tramp J.C. KRAEHN

Hardcover

73.79 €

Lenormand Orakelkarten - rote Eule Marie-Anne A. Lenormand

Broschur

8.95 €

Cheiro's Buch der Numerologie Jürgen Berus

Broschur

17.90 €

Klinická propedeutika pro střední zdravotnické školy Ilona Jelínková

Broschur

9.09 €

Tinto 1 - Grüne JÜL-Ausgabe - 1. Schuljahr Rüdiger Urbanek

Blatt

11.99 €

Esquemas de derecho procesal laboral Amaya Arnaiz Serrano

Broschur

25.59 €

Ses Concitoyens Pache-J-N

Broschur

13.19 €

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Programs, Recursion and Unbounded Choice

Autor Wim H. Hesselink

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 240

EAN 9780521018296

ISBN 0521018293

Libristo-Code 02017941

Verlag Cambridge University Press

Gewicht 385

Abmessungen 170 x 245 x 12

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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