Lädt ...

The Z Notation: A Reference Manual

von J. M. Spivey

Mitglieder	Rezensionen	Beliebtheit	Durchschnittliche Bewertung	Diskussionen
24	Keine	958,409	(3.25)	Keine
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

Alle Mitglieder

▾Mitglieder

Kürzlich hinzugefügt von

zhuazhua88, bertora, James.W.Beckman, sipig, shingarov, AmandaMoira, SimonBarrett

▾Tags

[Box D6] (1) Computer (1) DR#04 (1) E-Book (1) Formale Methode (4) Informatik (1) Informatik (3) Informatik (2) Inv - Programming (1) IT (1) Programmierung (3) Programmierung (1) Sachbuch (1) Softwaretechnik (1) Spare Bedroom (1) Storage Box 28 (1) technisch (2) Z (2)

Tag-Übersetzung eingeschaltet

▾Empfehlungen von LibraryThing

▾Listen

Keine

▾Wird es dir gefallen?

Lädt ...

Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest.

▾Diskussionen (Über Links)

Keine aktuelle Diskussion zu diesem Buch.

▾Benutzer-Rezensionen

Keine Rezensionen

▾Publizierte Rezensionen

keine Rezensionen | Rezension hinzufügen

▾Weitere Autoren

» Andere Autoren hinzufügen (1 möglich)

▾Reihen und Werk-Beziehungen

▾Auszeichnungen und Ehrungen

Verlauf anschauen

▾Wissenswertes

Du musst dich einloggen, um "Wissenswertes" zu bearbeiten.

Weitere Hilfe gibt es auf der "Wissenswertes"-Hilfe-Seite.

Gebräuchlichster Titel

Die Informationen stammen von der englischen "Wissenswertes"-Seite. Ändern, um den Eintrag der eigenen Sprache anzupassen.

The Z Notation: A Reference Manual

Originaltitel

Alternative Titel

Ursprüngliches Erscheinungsdatum

1989 (1st edition)

1992 (2nd edition)

Figuren/Charaktere

Wichtige Schauplätze

Wichtige Ereignisse

Zugehörige Filme

Epigraph (Motto/Zitat)

Widmung

Erste Worte

Die Informationen stammen von der englischen "Wissenswertes"-Seite. Ändern, um den Eintrag der eigenen Sprache anzupassen.

This chapter is an introduction to some of the features of the Z notation, and to its use in specifying information systems and developing rigorously checked designs.

Zitate

Letzte Worte

Hinweis zur Identitätsklärung

Verlagslektoren

Werbezitate von

Originalsprache

Anerkannter DDC/MDS

Anerkannter LCC

▾Literaturhinweise

Literaturhinweise zu diesem Werk aus externen Quellen.

Wikipedia auf Englisch (4)

List of important publications in theoretical computer science

Michael Spivey

Model-based specification

Prentice Hall International Series in Computer Science

▾Buchbeschreibungen

This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

▾Bibliotheksbeschreibungen

Keine Bibliotheksbeschreibungen gefunden.

▾Beschreibung von LibraryThing-Mitgliedern

Buchbeschreibung

Zusammenfassung in Haiku-Form