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

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

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Abstract Software Specifications

Name: Abstract Software Specifications
Brand: Springer, Berlin
SKU: 01557561
Price: 40.89 EUR
Availability: InStock
Author: D. Bjorner
ISBN: 9783540100072

1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

D. Bjorner

Sprache

Englisch

Buch Broschur

Libristo-Code: 01557561

Verlag Springer, Berlin

Abstract Architecture.- Foundations of denotational semantics.- Models of programming language conce... Vollständige Beschreibung

Libristo-Code: 01557561

100 b

40.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Wegweiser zum Datenhighway Jens D. Billerbeck

Broschur

49.95 €

Diagnóstico precoz de Enfermedad Renal Crónica Mirelys Pazo Rodríguez

Broschur

38.79 €

Róża północy Lucinda Riley

binding.

10.29 €

Le métier le plus dangereux du monde - Tome 1 - Louna (face) Bocquet Olivier

Hardcover

14.99 €

Handbuch Bioethik Dieter Sturma

Hardcover

39.99 €

Svar paa spÃ, rsmaal angaaende Christian science

Hardcover

25.99 €

Jan Blahoslav Čapek - Jubilejní sborník 1903-2003 Dagmar Čapková

Hardcover

8.69 €

Barcelona, mapa para colorear Miyashiro

Broschur

9.49 €

Katalonien wahrend der Franco-Diktatur Kathrin Wiedenbauer

Broschur

49.00 €

Le parloir Éric Sanvoisin

Broschur

10.19 €

55 faszinierende Ausflugsziele rund um Hamburg Nadia Al- Kureischi

Broschur

14.95 €

Astrologie (Kosmologie) Pierre de Lasenic

Blatt

10.19 €

STARK Interpretationen Deutsch - E.T.A. Hoffmann: Der Sandmann, m. 1 Buch, m. 1 Beilage Ernst Theodor Amadeus Hoffmann

Broschur

9.95 €

Lugkasteel Annelie Botes

Broschur

16.99 €

DaF im Unternehmen Andreea Farmache

Broschur

29.99 €

Oeuvres Completes de Eugene Scribe, Operas-Comiques. Ser. 4, Vol. 11 Eugene Scribe

Broschur

25.39 €

New York Víkend collegium

Broschur

4.99 €

The Doors (Remastered) The Doors

Audio CD

14.99 €

Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: - EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk.

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 Abstract Software Specifications

Autor D. Bjorner

Sprache

Englisch

Einband Buch - Broschur

Anzahl der Seiten 572

EAN 9783540100072

ISBN 3540100075

Libristo-Code 01557561

Verlag Springer, Berlin

Gewicht 816

Abmessungen 156 x 234 x 30

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > 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