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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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
102.99 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

20 lustige Geschichten Klaus-Dieter Baudach / Book Paperback
common.buy 13.04 €
Das große Buch der russischen Küche A. A. Samojlow / Book Hardback
common.buy 29.33 €
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Book Paperback
common.buy 64.24 €
Derrière les portes bleues - roman Giliberti Book Paperback
common.buy 18.71 €
8 SYMPHONIES OP. 2 POCHE WILLIAM BOYCE Printed items Sheet music
common.buy 26.50 €
Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P / Book Paperback
common.buy 7.17 €
Společenská hra Pohádkový soubor 9 her / Game/Toy Game
common.buy 23.16 €
Akupresura Jiří Marek / Book Book
common.buy 8.99 €
Kai Martin Ritterbach / Book Paperback
common.buy 18.30 €

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

Routledge Guidebook to Machiavelli's The Prince John T. Scott / Book Hardback
common.buy 174.42 €
Edgar Allen Poe Collection Edgar Allan Poe / E-book Adobe ePub DRM
common.buy 1.10 €
Course in Stochastic Game Theory Eilon Solan / Book Hardback
common.buy 117.56 €
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.24 €
Marvel's Box of Super Heroes: The 80th Anniversary Mini Notebook Set Marvel / Calendar/Diary Diary
common.buy 16.28 €
The Works of Tobias Smollett, M.D. Tobias George Smollett / Book Paperback
common.buy 32.06 €
Ethereum: Master the Ether and Profit from Opportunity David Chang / Book Paperback
common.buy 14.66 €
Bridging the Gap: How to Create More Emotional Intimacy in Your Marriage Christina Shelley Albrecht / Book Paperback
common.buy 9.40 €
Twenty-One Laboratory Sessions in Microbiology: A Concise Laboratory Manual to Accompany an Introductory Microbiology Course Michael J Anzelone / Book Paperback
common.buy 59.79 €
Pick Fresh Cookbook: Creating Irresistible Dishes from the Best Seasonal Produce Cooking Light / Book Paperback
common.buy 18.51 €
Realized Power Variation of some Fractional Stochastic Integrals Stefan Schneeberger / Book Paperback
common.buy 49.97 €
Humiliation of Sinners Mary C. Mansfield / Book Paperback
common.buy 51.29 €
Hidden Messages in Culture-Centered Counseling Paul B. Pedersen / Book Paperback
common.buy 76.38 €
Cultural Internationalism and World Order Akira Iriye / Book Paperback
common.buy 39.55 €
New Mexico's Buffalo Soldiers Billington / Book Paperback
common.buy 36.62 €
Empire in Waves Scott Laderman / Book Paperback
common.buy 32.06 €
Scale Issues in Remote Sensing JianFeng Weng / Book Hardback
common.buy 140.93 €
Proyecto Adieu:: Guía didactica del discurso academico escrito Graciela Vázquez / Book Paperback
common.buy 30.24 €
Field Guide to Lucid Dreaming Dylan Tuccillo / Book Paperback
common.buy 10.82 €
Focus on Nonlinear Analysis Research Gualtiero Padovani / Book Hardback
common.buy 267.10 €
Racism and the Law Gerald J. Postema / Book Hardback
common.buy 102.99 €
Fourteen Satires of Juvenal JuvenalJohn Duff Duff / Book Paperback
common.buy 51.19 €
Top
Japanese Mind Roger Davies / Book Paperback
common.buy 13.55 €

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