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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 271 b
40 374 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Tréportais Gilbert Testelin-Un policier en résistance Charon / Book Paperback
common.buy 8 563 Ft
Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P / Book Paperback
common.buy 2 817 Ft
Tokyo Aliens - Tome 11 NAOE / Book Book
common.buy 3 730 Ft
!Vuelve a ser Navidad! Annika Devert / Book Paperback
common.buy 8 845 Ft
Les fondements de la terreur Dr.Dilip M kathad / Book Paperback
common.buy 24 221 Ft
Mariposa mozgalom Gert Nygardshaug / Book Paperback
common.buy 4 709 Ft
Kai Martin Ritterbach / Book Paperback
common.buy 7 204 Ft
Společenská hra Pohádkový soubor 9 her / Game/Toy Game
common.buy 8 652 Ft
Akupresura Jiří Marek / Book Book
common.buy 3 533 Ft
DICTIONNAIRE COMPLET DES HYDROLATS ET EAUX FLORALES ZAHALKA JEAN-PHILIPPE / Book Paperback
common.buy 10 544 Ft
DEMYSTIFICTION DE LA PRATIQUE OCCLUSALE : UNEAPPROCHE RAISONNEE ET SIMPLIFIEE PO Pieaud Book Paperback
common.buy 50 350 Ft
DEACON KING KONG MCBRIDE JAMES / Book Paperback
common.buy 11 735 Ft
Silná slova Petra Rybková / Book Paperback
common.buy 6 087 Ft
Das große Buch der russischen Küche A. A. Samojlow / Book Hardback
common.buy 11 617 Ft
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Book Paperback
common.buy 25 071 Ft
Sportfunktionäre und jüdische Differenz Bernhard Hachleitner / Book Hardback
common.buy 43 966 Ft
Erfolgreich mit Spenderinnen und Spendern korrespondieren Norbert Franck / Book Paperback
common.buy 5 816 Ft
20 lustige Geschichten Klaus-Dieter Baudach / Book Paperback
common.buy 4 610 Ft
Projektevaluation fur eine Nonprofit-Organisation Christian Bindella / Book Paperback
common.buy 17 941 Ft
Les Antiquites d'Athenes. Tome 4 Stuart-J / Book Paperback
common.buy 7 056 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.

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 19 834 Ft
Survival or Extinction? Bridget Martin / Book Hardback
common.buy 15 021 Ft
Pick Fresh Cookbook: Creating Irresistible Dishes from the Best Seasonal Produce Cooking Light / Book Paperback
common.buy 7 085 Ft
Kendra's Pocket Posh Journal, Mum Andrews McMeel Publishing / Book Paperback
common.buy 3 058 Ft
Spark Courtney Elizabeth Mauk / Book Paperback
common.buy 6 039 Ft
Rapid Urbanisation, Urban Food Deserts and Food Security in Africa Jonathan Crush / Book Hardback
common.buy 36 332 Ft
Heart of Darkness Joseph Conrad / Book Hardback
common.buy 7 234 Ft
Homeless Dogs and Melancholy Apes Laura Brown / Book Paperback
common.buy 15 391 Ft
Mobius Invariant QK Spaces Hasi Wulan / Book Hardback
common.buy 44 401 Ft
Twenty-One Laboratory Sessions in Microbiology: A Concise Laboratory Manual to Accompany an Introductory Microbiology Course Michael J Anzelone / Book Paperback
common.buy 23 356 Ft
School Leadership in Times of Urban Reform Marilyn Bizar / Book Hardback
common.buy 76 765 Ft
Bridging the Gap: How to Create More Emotional Intimacy in Your Marriage Christina Shelley Albrecht / Book Paperback
common.buy 3 668 Ft
Ethereum: Master the Ether and Profit from Opportunity David Chang / Book Paperback
common.buy 5 714 Ft
The Works of Tobias Smollett, M.D. Tobias George Smollett / Book Paperback
common.buy 12 679 Ft
QUINTET IN C MAJOR OP11 NO 1 OP11 NR 1 F JOHANN CHRISTI BACH / Book binding.
common.buy 12 022 Ft
Measuring Weight Martha Elizabeth Hillman Rustad / Book Paperback
common.buy 3 414 Ft
Routledge Guidebook to Machiavelli's The Prince John T. Scott / Book Hardback
common.buy 77 076 Ft
Praktisches Werk Von Der Onanie CHRISTIAN FR B RNER / Book Paperback
common.buy 7 709 Ft
Bioactive Ceramides in Health and Disease Johnny Stiban / Book Hardback
common.buy 40 374 Ft
Songs and Satires James Jeffrey Roche / Book Hardback
common.buy 11 932 Ft
Marvel's Box of Super Heroes: The 80th Anniversary Mini Notebook Set Marvel / Calendar/Diary Diary
common.buy 6 221 Ft
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 8 264 Ft
70 Days, 70 Ways Bianca Chandler / Book Paperback
common.buy 7 728 Ft
Course in Stochastic Game Theory Eilon Solan / Book Hardback
common.buy 45 547 Ft

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?