Articoli correlati a Algebraic Methods: Theory, Tools and Applications (Lecture...
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science): 394 - Brossura
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.
- EditoreSpringer
- Data di pubblicazione1989
- ISBN 10 3540516980
- ISBN 13 9783540516989
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine568
- RedattoreWirsing M.
Compra nuovo
Visualizza questo articolo
EUR 106,66
EUR 3,53 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Algebraic Methods: Theory, Tools and Applications (Lecture...
Foto dell'editore
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a-1171
Quantità: 1 disponibili
Foto dell'editore
Algebraic Methods: Theory, Tools and Applications
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-597-394
Quantità: 1 disponibili
Foto dell'editore
Algebraic Methods: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: Bücher. Codice articolo 78084/203
Quantità: 1 disponibili
Foto dell'editore
Algebraic Methods: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: Bücher. Codice articolo 78084/202
Quantità: 1 disponibili
Foto dell'editore
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020168974
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540516989_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Methods: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 568 pp. Englisch. Codice articolo 9783540516989
Quantità: 2 disponibili
Immagini fornite dal venditore
Algebraic Methods: Theory, Tools and Applications
Editore:
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783540516989
Quantità: 1 disponibili