Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers: 1376 (Lecture Notes in Computer Science) - Softcover

Parisi-Presicce, Francesco

9783540642992: Recent Trends in Algebraic Development Techniques: 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers: 1376 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3540642994 ISBN 13: 9783540642992

Verlag: Springer, 2008

Alle Exemplare dieser ISBN-Ausgabe

4 Gebraucht

Von EUR 40,39

9 Neu

Von EUR 48,37

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT ’98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Rese�a del editor

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2008
Sprache: Englisch
ISBN 10: 3540642994
ISBN 13: 9783540642992
Einband: Tapa blanda
Anzahl der Seiten: 452
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Gut

May have limited writing in cover...

Diesen Artikel anzeigen

EUR 40,39

W�hrung umrechnen

EUR 8,13 f�r den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 48,37

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Recent Trends in Algebraic Development Techniques:...

Foto des Verk�ufers

Recent Trends in Algebraic Development Techniques

Parisi-Presicce, Francesco

Verlag: Springer Berlin Heidelberg, 1998

ISBN 10: 3540642994 ISBN 13: 9783540642992

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT 98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully re. Bestandsnummer des Verk�ufers 4896700

Verk�ufer kontaktieren

Neu kaufen

EUR 48,37

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

Parisi-Presicce, Francesco

Verlag: Springer, 1998

ISBN 10: 3540642994 ISBN 13: 9783540642992

Gebraucht Paperback

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.27. Bestandsnummer des Verk�ufers G3540642994I4N00

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 40,39

W�hrung umrechnen

Versand: EUR 8,13

Von USA nach Deutschland

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

Francesco Parisi-Presicce

Verlag: Springer Berlin Heidelberg, 1998

ISBN 10: 3540642994 ISBN 13: 9783540642992

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development. Bestandsnummer des Verk�ufers 9783540642992

Verk�ufer kontaktieren

Neu kaufen

EUR 53,49

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Recent Trends in Algebraic Development Techniques

Francesco Parisi-Presicce

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg M�r 1998, 1998

ISBN 10: 3540642994 ISBN 13: 9783540642992

Neu Taschenbuch

Print-on-Demand

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 -This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch. Bestandsnummer des Verk�ufers 9783540642992

Verk�ufer kontaktieren