Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)

Sheppard, Deri

ISBN 10: 0077079078 ISBN 13: 9780077079079

Verlag: McGraw-Hill Book Co Ltd

Sprache: Englisch

Zustand: Gebraucht - Gut Softcover

F�r sp�ter vormerken

Verkauft von WorldofBooks, Goring-By-Sea, WS, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 16. M�rz 2007

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis: EUR 5,54 W�hrung umrechnen

EUR 4,03 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Bestandsnummer des Verk�ufers GOR004041042

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)

Verlag

McGraw-Hill Book Co Ltd

Sprache

Englisch

ISBN-10

0077079078

ISBN-13

9780077079079

Einband

Paperback

Zustand

Very Good

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we?re helping charities increase revenue and reduce waste through re-commerce.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

World of Books Ltd
Mulberry House, Woods Way Trading Estate, Goring-By-Sea, BN12 4QY, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.

Widerrufsbelehrung

Versandbedingungen

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten von Vereinigtes K�nigreich nach Deutschland

Versandkosten von Vereinigtes K�nigreich nach Deutschland
Bestellmenge	4 bis 6�Werktage	3 bis 6�Werktage
Erster Artikel	EUR 4.03	EUR 6.90

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.