An Introduction to Discrete Mathematics, Formal System Specification, and Z: Oxford Applied Mathematics and Computing Science Series
Autor D. C. Inceen Limba Engleză Paperback – 4 feb 1993
Preț: 300.17 lei
Preț vechi: 464.22 lei
-35% Nou
Puncte Express: 450
Preț estimativ în valută:
57.46€ • 59.73$ • 47.64£
57.46€ • 59.73$ • 47.64£
Carte tipărită la comandă
Livrare economică 25-31 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780198538363
ISBN-10: 0198538367
Pagini: 296
Ilustrații: line drawings
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:2 Rev ed.
Editura: Clarendon Press
Colecția Clarendon Press
Seria Oxford Applied Mathematics and Computing Science Series
Locul publicării:Oxford, United Kingdom
ISBN-10: 0198538367
Pagini: 296
Ilustrații: line drawings
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:2 Rev ed.
Editura: Clarendon Press
Colecția Clarendon Press
Seria Oxford Applied Mathematics and Computing Science Series
Locul publicării:Oxford, United Kingdom
Cuprins
Commercial software development; Customer requirements and specification; Propositional calculus; Predicate calculus; Set theory; Relations; Functions and sequences; The specification language Z; Operations and objects in Z; The Z schema calculus; Some small Z examples; A large Z specification; Z and design.