Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01567397
Price: 102.9 EUR
Availability: InStock
Author: Teodor Rus
ISBN: 9783540675303

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Teodor Rus

Language

English

Book Paperback

Libristo code: 01567397

Publishers Springer, Berlin, November 1999

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Meth... Full description

Libristo code: 01567397

249 b

102.90 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Společenská hra Pohádkový soubor 9 her

Game

26.78 €

Akupresura Jiří Marek

Book

7.77 €

Mariposa mozgalom Gert Nygardshaug

Paperback

12.22 €

!Vuelve a ser Navidad! Annika Devert

Paperback

22.43 €

Kai Martin Ritterbach

Paperback

18.29 €

Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P

Paperback

7.17 €

Le Tréportais Gilbert Testelin-Un policier en résistance Charon

Paperback

24.66 €

DEACON KING KONG MCBRIDE JAMES

Paperback

33.45 €

Das große Buch der russischen Küche A. A. Samojlow

Hardback

29.31 €

Deutsche Romantik Georg Mehlis

Paperback

40.93 €

Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder

Paperback

64.19 €

20 lustige Geschichten Klaus-Dieter Baudach

Paperback

12.93 €

Projektevaluation fur eine Nonprofit-Organisation Christian Bindella

Paperback

49.93 €

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.