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 € DPD courier 3.99 € DPD point 2.99 €
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 263 b
107.29 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

20 lustige Geschichten Klaus-Dieter Baudach / Book Paperback
common.buy 13.49 €
Das große Buch der russischen Küche A. A. Samojlow / Book Hardback
common.buy 34.00 €
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Book Paperback
common.buy 66.79 €
Derrière les portes bleues - roman Giliberti Book Paperback
common.buy 19.29 €
8 SYMPHONIES OP. 2 POCHE WILLIAM BOYCE Printed items Sheet music
common.buy 27.39 €
Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P / Book Paperback
common.buy 7.49 €
Společenská hra Pohádkový soubor 9 her / Game/Toy Game
common.buy 24.29 €
Akupresura Jiří Marek / Book Book
common.buy 9.39 €
Kai Martin Ritterbach / Book Paperback
common.buy 20.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 180.99 €
Edgar Allen Poe Collection Edgar Allan Poe / E-book Adobe ePub DRM
common.buy 1.09 €
Course in Stochastic Game Theory Eilon Solan / Book Hardback
common.buy 121.59 €
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 €
Marvel's Box of Super Heroes: The 80th Anniversary Mini Notebook Set Marvel / Calendar/Diary Diary
common.buy 16.99 €
The Works of Tobias Smollett, M.D. Tobias George Smollett / Book Paperback
common.buy 33.59 €
Ethereum: Master the Ether and Profit from Opportunity David Chang / Book Paperback
common.buy 15.19 €
Bridging the Gap: How to Create More Emotional Intimacy in Your Marriage Christina Shelley Albrecht / Book Paperback
common.buy 9.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 €
Pick Fresh Cookbook: Creating Irresistible Dishes from the Best Seasonal Produce Cooking Light / Book Paperback
common.buy 19.39 €
Realized Power Variation of some Fractional Stochastic Integrals Stefan Schneeberger / Book Paperback
common.buy 51.99 €
Humiliation of Sinners Mary C. Mansfield / Book Paperback
common.buy 52.79 €
Hidden Messages in Culture-Centered Counseling Paul B. Pedersen / Book Paperback
common.buy 79.69 €
Cultural Internationalism and World Order Akira Iriye / Book Paperback
common.buy 40.69 €
New Mexico's Buffalo Soldiers Billington / Book Paperback
common.buy 37.69 €
Empire in Waves Scott Laderman / Book Paperback
common.buy 33.09 €
Scale Issues in Remote Sensing JianFeng Weng / Book Hardback
common.buy 146.99 €
Proyecto Adieu:: Guía didactica del discurso academico escrito Graciela Vázquez / Book Paperback
common.buy 31.49 €
Field Guide to Lucid Dreaming Dylan Tuccillo / Book Paperback
common.buy 11.49 €
Focus on Nonlinear Analysis Research Gualtiero Padovani / Book Hardback
common.buy 278.69 €
Racism and the Law Gerald J. Postema / Book Hardback
common.buy 107.29 €
Fourteen Satires of Juvenal JuvenalJohn Duff Duff / Book Paperback
common.buy 52.99 €
Top
Japanese Mind Roger Davies / Book Paperback
common.buy 14.29 €

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?