fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Formal object-oriented development

Formal object-oriented development

by Kevin Lano

Z (Programmiersprache)Formale SpezifikationstechnikVDMSoftwareObjektorientierung
0.0
Open Library
Open Library

Themes & subjects

Z (Programmiersprache)Formale SpezifikationstechnikVDMSoftwareObjektorientierungQualitätssicherung

Author

Kevin Lano

Pages

440

Read time

≈ 11h

Editions

3

Language

English

Publisher

Springer

ISBN

9781447130734

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Object orientation in Z

Objektorientierte Programmierung · Z (Programmiersprache)

Object orientation in Z

Susan Stepney

1992

The Z formal specification notation

Z <Programmiersprache> · Formale Spezifikationstechnik

The Z formal specification notation

Jonathan P. Bowen

1998

The Z formal specification notation

Z <Programmiersprache> · Z (computer program language)

The Z formal specification notation

Jonathan P. Bowen

1997

The construction of formal specifications

Software engineering · Softwarespezifikation

The construction of formal specifications

J. G. Turner

1993

An introduction to formal specification with Z and VDM

Development · Z (Computer program language)

An introduction to formal specification with Z and VDM

Deri Sheppard

1995

A theory and practice of program development

Development · Computer programming

A theory and practice of program development

Derek Andrews

1997

Formal methods in human-computer interaction

Formal methods (Computer science) · Human-computer interaction

Formal methods in human-computer interaction

Philippe Palanque

1998

Digitale Hardware/Software-Systeme

Embedded computer systems · Microprogramming

Digitale Hardware/Software-Systeme

Christian Haubelt

2010

Archivierung in Datenbanksystemen

Formale Spezifikationstechnik · Archivsystem

Archivierung in Datenbanksystemen

Ralf Schaarschmidt

2001

Formal methods and object technology

LOTOS · Programmation orientée objets (informatique)

Formal methods and object technology

Stephen J. Goldsack

1996

Programming languages and systems

Bisimulation · Programmverifikation

Programming languages and systems

APLAS 2008 (2008 Bangalore, India)

2008

Eine formale algorithmische Synthese digitaler Schaltungen

Digitalschaltung · HOL

Eine formale algorithmische Synthese digitaler Schaltungen

Kai Kapp

2005

Formal Techniques for Distributed Systems

Logic design · Computer networks

Formal Techniques for Distributed Systems

Hutchison, David - undifferentiated

2009

Recent Trends in Algebraic Development Techniques

Logic design · Information theory

Recent Trends in Algebraic Development Techniques

Andrea Corradini

2009

Specification and verification of object oriented software components

Programmverifikation · Komponente <Software>

Specification and verification of object oriented software components

Andreas Roth

2006