Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Algebraic Methodology and Software Technology

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

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology Teodor Rus
Libristo code: 01567397
Publishers Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Meth... Full description
? points 249 b
101.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Společenská hra Pohádkový soubor 9 her / Game/Toy Game
common.buy 17.69 €
Akupresura Jiří Marek / Book Book
common.buy 7.69 €
Mariposa mozgalom Gert Nygardshaug / Book Paperback
common.buy 9.99 €
!Vuelve a ser Navidad! Annika Devert / Book Paperback
common.buy 22.19 €
Kai Martin Ritterbach / Book Paperback
common.buy 20.30 €
Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P / Book Paperback
common.buy 7.49 €
Le Tréportais Gilbert Testelin-Un policier en résistance Charon / Book Paperback
common.buy 25.49 €
DEACON KING KONG MCBRIDE JAMES / Book Paperback
common.buy 34.59 €
Das große Buch der russischen Küche A. A. Samojlow / Book Hardback
common.buy 34.00 €
Deutsche Romantik Georg Mehlis / Book Paperback
common.buy 45.90 €
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Book Paperback
common.buy 53.79 €
20 lustige Geschichten Klaus-Dieter Baudach / Book Paperback
common.buy 11.99 €
Projektevaluation fur eine Nonprofit-Organisation Christian Bindella / Book Paperback
common.buy 49.00 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Algebraic Methodology and Software Technology
Author Teodor Rus
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 545
EAN 9783540675303
ISBN 3540675302
Libristo code 01567397
Publishers Springer, Berlin
Weight 780
Dimensions 155 x 235 x 29

Categories

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer security > Data encryption
Computing & Information Technology > Computer science > Mathematical theory of computation
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

You might also be interested in

An Introduction to Convex Polytopes Arne Brondsted / Book Paperback
common.buy 49.99 €
Survival or Extinction? Bridget Martin / Book Hardback
common.buy 30.39 €
National Geographic Readers: Ibn al-Haytham Libby Romero / Book Hardback
common.buy 17.09 €
Pick Fresh Cookbook: Creating Irresistible Dishes from the Best Seasonal Produce Cooking Light / Book Paperback
common.buy 19.39 €
Spark Courtney Elizabeth Mauk / Book Paperback
common.buy 16.09 €
Heart of Darkness Joseph Conrad / Book Hardback
common.buy 19.39 €
Homeless Dogs and Melancholy Apes Laura Brown / Book Paperback
common.buy 34.79 €
Twenty-One Laboratory Sessions in Microbiology: A Concise Laboratory Manual to Accompany an Introductory Microbiology Course Michael J Anzelone / Book Paperback
common.buy 62.09 €
School Leadership in Times of Urban Reform Marilyn Bizar / Book Hardback
common.buy 161.49 €
Bridging the Gap: How to Create More Emotional Intimacy in Your Marriage Christina Shelley Albrecht / Book Paperback
common.buy 9.79 €
Ethereum: Master the Ether and Profit from Opportunity David Chang / Book Paperback
common.buy 15.19 €
The Works of Tobias Smollett, M.D. Tobias George Smollett / Book Paperback
common.buy 31.69 €
Routledge Guidebook to Machiavelli's The Prince John T. Scott / Book Hardback
common.buy 181.09 €
Bioactive Ceramides in Health and Disease Johnny Stiban / Book Hardback
common.buy 101.79 €
Marvel's Box of Super Heroes: The 80th Anniversary Mini Notebook Set Marvel / Calendar/Diary Diary
common.buy 16.99 €
Treatise On The History And Construction Of The Violin: With A Short Account Of The Lives Of Its Greatest Players And Makers (1807) Georges Foucher / Book Paperback
common.buy 21.99 €
Course in Stochastic Game Theory Eilon Solan / Book Hardback
common.buy 100.09 €
Top
Mastering Active Directory FRANCIS / Book Paperback
common.buy 45.09 €
Lazy Dungeon Master (Manga) Vol. 2 Youta / Book Paperback
common.buy 9.49 €
Rise of Small-Scale Development Organisations Hanne Haaland / Book Hardback
common.buy 161.49 €
Introduction to Integral Psychology: Integral Psychology of Personality Development / Book Hardback
common.buy 26.99 €
Proceedings of the 1st International Conference on Intelligent Healthcare and Computational Neural Modelling Ninni Singh / E-book Adobe ePub DRM
common.buy 222.99 €
Edgar Allen Poe Collection Edgar Allan Poe / E-book Adobe ePub DRM
common.buy 1.09 €
Chapters of Our Lives Ble Mary / Book Paperback
common.buy 16.19 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?