An edition of Formal object-oriented development (1995)

Formal object-oriented development

by

Cover of: Formal object-oriented development by Kevin Lano, Kevin Lano
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | History
Edit
An edition of Formal object-oriented development (1995)

Formal object-oriented development

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag, Springer
Language
English
Pages
422

Check nearby libraries

Buy this book

Subjects

Z (Programmiersprache), Formale Spezifikationstechnik, VDM, Software, Objektorientierung, Qualitätssicherung, Object-oriented programming (Computer science)
Edition Availability
Cover of: Formal Object-Oriented Development
Formal Object-Oriented Development
2012, Springer London, Limited
in English
Cover of: Formal Object-Oriented Development
Formal Object-Oriented Development
Dec 14, 2011, Springer
paperback
Cover of: Formal object-oriented development
Formal object-oriented development
1995, Springer-Verlag, Springer
in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, London
Series
Formal approaches to computing and information technology

Classifications

Dewey Decimal Class
005.11
Library of Congress
QA76.64 .L363 1995, QA75.5-76.95

Edition Identifiers

Open Library
OL21842368M
ISBN 10
3540199780
LCCN
95032281
OCLC/WorldCat
32778376
LibraryThing
6181118
Goodreads
4519307

Work Identifiers

Work ID
OL8656816W

Source records

Promise Item
Internet Archive item record
Library of Congress MARC record
Better World Books record
Internet Archive item record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 18, 2024 Edited by MARC Bot import existing book
February 28, 2023 Edited by ImportBot import existing book
February 10, 2023 Edited by BWBImportBot Modified local IDs, amazon IDs, bwb IDs, source records
November 4, 2008 Created by ImportBot Imported from Talis record