phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Abstract State Machines 2003: Advances in Theory and Practice

Language EnglishEnglish
Book Paperback
Book Abstract State Machines 2003: Advances in Theory and Practice Egon Börger
Libristo code: 01556206
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2003
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State... Full description
? points 154 b
1 540 Kč včetně DPH
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Joan Baez and the Issue of Vietnam Markus Jäger / Paperback
common.buy 438 Kč
Hot Spots / Hardback
common.buy 437 Kč
Introduction to Fuzzy Logic using MATLAB S.N. Sivanandam / Paperback
common.buy 6 032 Kč
Boris Pasternak - Kurt Wolff Im Meer Der Hingabe. Briefwechsel 1958-1960 Evgenij Pasternak / Paperback
common.buy 973 Kč
Das 10-Minuten-Rechtschreibtraining für zu Hause Gero Tacke / Sheet
common.buy 295 Kč
Klinische Anatomie Des Ohres Johannes Lang / Paperback
common.buy 3 309 Kč
Frau Greift in Die Politik Heidi Beutin / Hardback
common.buy 1 817 Kč
Dramatic Affairs: Black Lace Classics Fredrica Alleyn / Paperback
common.buy 464 Kč

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.§The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

About the book

Full name Abstract State Machines 2003: Advances in Theory and Practice
Author Egon Börger, Angelo Gargantini, Elvinia Riccobene
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 436
EAN 9783540006244
ISBN 3540006249
Libristo code 01556206
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1380
Dimensions 155 x 235 x 25

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account