Verwandte Artikel zu Algebraic Methods: Theory, Tools and Applications (Lecture...
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science): 394 - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 92,27
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Algebraic Methods: Theory, Tools and Applications (Lecture...
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications
Verlag:
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 78084/203
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications
Verlag:
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 78084/202
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers E-597-394
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers UTD14a-1171
Anzahl: 1 verfügbar
Foto des Verkäufers
Algebraic Methods: Theory, Tools and Applications
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Bestandsnummer des Verkäufers 4892089
Anzahl: Mehr als 20 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. Bestandsnummer des Verkäufers 9783540516989
Anzahl: 1 verfügbar
Foto des Verkäufers
Algebraic Methods: Theory, Tools and Applications
ISBN 10: 3540516980
ISBN 13: 9783540516989
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch. Bestandsnummer des Verkäufers 9783540516989
Anzahl: 1 verfügbar
Foto des Verkäufers
Algebraic Methods: Theory, Tools and Applications
Verlag:
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540516989
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540516989_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020168974
Anzahl: Mehr als 20 verfügbar