A Mechanized Logical Model of Z and Object-Oriented Specification
Thomas Santen(Author)
Shaker (Publisher)
Published in 2000
Book
Paperback/Softback
397 pages
978-3-8265-7650-8 (ISBN)
More details
Series
Language
English
Place of publication
Aachen
Germany
Target group
Professional and scholarly
Dimensions
Height: 20.5 cm
Width: 14.5 cm
Weight
596 gr
ISBN-13
978-3-8265-7650-8 (9783826576508)
Schweitzer Classification