Foundations of Algebraic Specification and Formal Software Development - Brossura

Sannella, Donald; Tarlecki, Andrzej

 
9783642173370: Foundations of Algebraic Specification and Formal Software Development
Brossura
ISBN 10: 3642173373 ISBN 13: 9783642173370
Casa editrice: Springer, 2012

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Introduction.- Universal Algebra.- Simple Equational Specifications.- Category Theory.- Working Within an Arbitrary Logical System.- Structured Specifications.- Parameterisation.- Formal Program Development.- Behavioural Specifications.- Proofs for Specifications.- Working with Multiple Logical Systems.- References.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
3642173373
ISBN 13 
9783642173370
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783642173356: Foundations of Algebraic Specification and Formal Software Development

Edizione in evidenza

ISBN 10:  3642173357 ISBN 13:  9783642173356
Casa editrice: Springer-Nature New York Inc, 2011
Rilegato