Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)

Potter, Ben; Sinclair, Jane; Till, David

ISBN 10: 0134787021 ISBN 13: 9780134787022

Verlag: Prentice Hall, 1991

Sprache: Englisch

Zustand: Gebraucht - Gut Softcover

F�r sp�ter vormerken

Verkauft von MusicMagpie, Stockport, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 4. Dezember 2017

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,15 W�hrung umrechnen

EUR 4,01 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

Bestandsnummer des Verk�ufers U9780134787022

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)

Verlag

Prentice Hall

Erscheinungsjahr

1991

Sprache

Englisch

ISBN-10

0134787021

ISBN-13

9780134787022

Einband

Softcover

Auflage

1750284634.

Zustand

Very Good

Zustand des Schutzumschlags

26508415

Signiert

6/18/2025 10:10:34 PM

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.

Rese�a del editor

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Entertainment Magpie Ltd
Galleon House, Newby Rd, Stockport, SK7 5DA, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung

Versandbedingungen

Versandkosten von Vereinigtes K�nigreich nach Deutschland

Versandkosten von Vereinigtes K�nigreich nach Deutschland
Bestellmenge	4 bis 7�Werktage	4 bis 7�Werktage
Erster Artikel	EUR 4.01	EUR 25.23

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.