Systems, Models and Measures: Formal Approaches to Computing and Information Technology (FACIT)
Autor Agnes Kaposi, Margaret Myersen Limba Engleză Paperback – dec 1993
Preț: 391.61 lei
Nou
Puncte Express: 587
Preț estimativ în valută:
74.95€ • 78.04$ • 63.34£
74.95€ • 78.04$ • 63.34£
Carte tipărită la comandă
Livrare economică 07-21 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540197539
ISBN-10: 3540197532
Pagini: 356
Ilustrații: XV, 335 p. 135 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
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 19 mm
Greutate: 0.5 kg
Ediția:1st Edition.
Editura: SPRINGER LONDON
Colecția Springer
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.