Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01567397
Price: 39688 HUF
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

271 b

39 688 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

20 lustige Geschichten Klaus-Dieter Baudach

Paperback

4 617 Ft

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

Hardback

11 416 Ft

Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder

Paperback

24 639 Ft

Derrière les portes bleues - roman Giliberti Book

Paperback

6 637 Ft

8 SYMPHONIES OP. 2 POCHE WILLIAM BOYCE Printed items

Sheet music

9 410 Ft

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

Paperback

2 768 Ft

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

Game

8 222 Ft

Akupresura Jiří Marek

Book

3 208 Ft

Kai Martin Ritterbach

Paperback

7 095 Ft

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.