Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science): 394 - Brossura

 
9783540516989: Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science): 394
Brossura
ISBN 10: 3540516980 ISBN 13: 9783540516989
Casa editrice: Springer, 1989

Contenuti

Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.

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

Editore
Springer
Data di pubblicazione
1989
Lingua
Inglese
ISBN 10 
3540516980
ISBN 13 
9783540516989
Rilegatura
Copertina flessibile
Numero di pagine
568
Redattore
Wirsing M.
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

9783540539124: Algebraic Methods II: Theory, Tools and Applications: 490

Edizione in evidenza

ISBN 10:  3540539123 ISBN 13:  9783540539124
Casa editrice: Springer, 2008
Brossura