Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
ISBN 10: 3540516980 ISBN 13: 9783540516989
Verlag: Springer, 1989
Neu
Softcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Bibliografische Details
Titel: Algebraic Methods: Theory, Tools and ...
Verlag: Springer
Erscheinungsdatum: 1989
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 568 | Sprache: Englisch | Produktart: Bücher | 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. Artikel-Nr. 78084/203
Gebraucht kaufen
EUR 11,47
EUR 105,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 568 | Sprache: Englisch | Produktart: Bücher | 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. Artikel-Nr. 78084/202
Gebraucht kaufen
EUR 11,47
EUR 105,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science 394)
Verlag:
Springer-Verlag, Berlin, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Gebraucht
Paperback
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 394; Ex-Library. Previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on reverse of front cover. Faintly scuffed spine head from sticker removal. Creased on rear leading corner. Sound, clean book with tight binding. ADG. Ex-Library. Artikel-Nr. 094481
Gebraucht kaufen
EUR 14,07
EUR 10,81 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Algebraic Methods: Theory, Tools and Applications
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Algebraic Methods: Theory, Tools and Applications | Martin Wirsing (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540516989 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 102141984
Neu kaufen
EUR 95,80
EUR 70,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Algebraic Methods: Theory, Tools and Applications
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783540516989
Neu kaufen
EUR 106,99
EUR 64,25 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar