Systems, Models and Measures: Formal Approaches to Computing and Information Technology (FACIT)
Autor Agnes Kaposi, Margaret Myersen Limba Engleză Paperback – dec 1993
Preț: 325.29 lei
Preț vechi: 406.60 lei
-20%
Puncte Express: 488
Carte tipărită la comandă
Livrare economică 26 mai-09 iunie
Specificații
ISBN-13: 9783540197539
ISBN-10: 3540197532
Pagini: 356
Ilustrații: XV, 335 p. 135 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:1st Edition.
Editura: Springer
Colecția Formal Approaches to Computing and Information Technology (FACIT)
Seria Formal Approaches to Computing and Information Technology (FACIT)
Locul publicării:London, United Kingdom
ISBN-10: 3540197532
Pagini: 356
Ilustrații: XV, 335 p. 135 illus.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:1st Edition.
Editura: Springer
Colecția Formal Approaches to Computing and Information Technology (FACIT)
Seria Formal Approaches to Computing and Information Technology (FACIT)
Locul publicării:London, United Kingdom
Public țintă
ResearchCuprins
1.- 1 Introduction.- 2 Systems and Models.- 3 Measures.- 4 Models of Specification and Design.- 5 Measures of Specification and Design.- 6 Constructing a Measurement Scheme.- 2.- 7 A Formal Specification Medium.- 8 Models and Measures of Structure.- 9 Models and Measures of Data.- 10 An Experiment in Measuring Specifications.- Appendix: Prolog code and measures of the specifications.