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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Refinement in Z and Object-Z

Name: Refinement in Z and Object-Z
Brand: Springer London Ltd
SKU: 09862772
Price: 90.79 EUR
Availability: InStock
Author: Derrick
ISBN: 9781447161677

Foundations and Advanced Applications

Derrick

John (University of Kent

Canterbury)

Eerke a Boiten

Sprache

Englisch

Buch Broschur

Libristo-Code: 09862772

Verlag Springer London Ltd, August 2015

This book covers data refinement and its application to Z; generalisations of refinement that change...

Libristo-Code: 09862772

222 b

90.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Kurs- und Übungsbuch, m. 2 Audio-CDs

Broschur

33.50 €

Discours Sur l'Emploi Du Loisir Pecquet-A

Broschur

17.89 €

Miracle Francais En Asie. Bois Graves de Claude Rene Martin. 2e Edition REGISMANSET-C

Broschur

23.99 €

Materiaux Pour l'Histoire Des Temps Quaternaires. Les Oubliettes de Gargas GAUDRY-A

Broschur

13.09 €

Plano de Negocio Mioranza Claudio Mioranza

Broschur

25.69 €

Norddeutscher Archivtag (1.) Rainer Hering

Broschur

20.00 €

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

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 Refinement in Z and Object-Z

Autor Derrick, John (University of Kent, Canterbury), Eerke a Boiten

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 492

EAN 9781447161677

ISBN 9781447161677

Libristo-Code 09862772

Verlag Springer London Ltd

Gewicht 7664

Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Lifestyle, Hobbys und Freizeit > Garten und Gärtnern

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