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 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Refinement in Z and Object-Z

Name: Refinement in Z and Object-Z
Brand: Springer, Berlin
SKU: 04296735
Price: 164.39 EUR
Availability: InStock
Author: John Derrick
ISBN: 9781852332457

John Derrick

Eerke A. Boiten

Sprache

Englisch

Buch Broschur

Libristo-Code: 04296735

Verlag Springer, Berlin, Mai 2001

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in... Vollständige Beschreibung

Libristo-Code: 04296735

402 b

164.39 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Discours de l'Estoc Et Genealogie Des Comtes de Vintimille, Paleologues Et Lascaris De Vintimille-J

Broschur

15.09 €

Extreme Eigenkapitalausstattungen Kleiner Und Mittlerer Unternehmen Christoph Wagner

Broschur

60.29 €

Die Spruchbucher Des Hans Sachs Und Die Erste Folioausgabe I. Karl Drescher

Broschur

14.09 €

Trilogía Fuego 3. Ciudades de Fuego

Broschur

12.69 €

Julia : Les yeux de l'abîme, tome 1. Les aventures d'une Criminologue Luca Vannini

Broschur

13.99 €

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:§- 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. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergruate students.

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 John Derrick, Eerke A. Boiten

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 484

EAN 9781852332457

ISBN 185233245X

Libristo-Code 04296735

Verlag Springer, Berlin

Gewicht 803

Abmessungen 158 x 235 x 30

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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