Refinement in Z and Object-Z
Subtitle: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT))
Edition: 1 edition
Publisher: Springer
Published: June 8, 2001
Language: eng
Format: Paperback
Number of pages: 466
ISBN-13: 9781852332457
Subjects: Programming languages; Software engineering; Z (Programming Language); Object-oriented programming (Computer science); Object-Oriented Programming; Computers; Computers - Languages / Programming; Z (Computer program language); Computer Books And Software; Programming Languages - General; Programming - Object Oriented Programming; Programming - Software Development; Computers / Programming / Software Development; Formal Methods; Interfaces; Mathematics / Logic; Object orientation; Object-Z; Object-oriented programming (Computer science; Refinement; Software development; Z; Object-oriented programming (C
First sentence: Z is a formal specification language.