LIBRISTO
LIBROAMANTO
mandatory
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 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Free delivery for orders over 69.99€

Algebraic Methodology and Software Technology

6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings

Book Algebraic Methodology and Software Technology Michael Johnson
Libristo code: 05274790
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Meth... Full description
? points 274 b
112.55 €
220.12  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns


Customers also purchased


tg -jl- lds sentimental 60v 04/2010 Book binding.
common.buy 489.67 € 957.70 лв
Die Monster Mädchen - Band 17 Okayado / Book Paperback
common.buy 9.14 € 17.88 лв
Top
Im Berufssprachkurs Annette Müller / Book Paperback
common.buy 28.67 € 56.08 лв
Das bleibt in der Familie Sandra Konrad / Book Paperback
common.buy 13.36 € 26.12 лв
L'organisation mondiale du commerce NE Michel Rainelli / Book Paperback
common.buy 14.23 € 27.83 лв
A kuku Basia Flores / Book Hardback
common.buy 6.21 € 12.15 лв
Filosofía de la religión José Morales / Book Paperback
common.buy 24.05 € 47.03 лв
Atlas zvierat / Book Hardback
common.buy 17.83 € 34.87 лв
Els ports Hernàndez i Carnè / Book Paperback
common.buy 37.97 € 74.27 лв
Der Doktor und das liebe Vieh James Herriot / Book Paperback
common.buy 13.36 € 26.12 лв
Pani Marta I Pyat' Ee Lyu... Irina Sheydneruk / Book Paperback
common.buy 22.09 € 43.21 лв
New
Das Winnie Puuh Buch Simon Beecroft / Book Hardback
common.buy 26.72 € 52.26 лв

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

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.
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


Biology of Root Formation and Development Arie Altman / Book Hardback
common.buy 100.52 € 196.60 лв
Algebraic Methodology and Software Technology José Meseguer / Book Paperback
common.buy 51.28 € 100.30 лв
McCance & Huether’s Pathophysiology Julia Rogers / Book Hardback
common.buy 140.30 € 274.40 лв
Hazel's Pocket Posh Journal, Mum Andrews McMeel Publishing / Book Paperback
common.buy 7.86 € 15.37 лв
300 Calorie or Less Light Meals: Quick and Easy '300 Calorie or Less' Meals Naturally Low-Cal Series / Book Paperback
common.buy 13.25 € 25.92 лв
The DuPont Dynasty John K Winkler / Book Hardback
common.buy 48.72 € 95.28 лв
Afghanistan: Politics, Elections, and Government Performance Kenneth Katzman / Book Paperback
common.buy 19.68 € 38.49 лв
The Dragonfly Kingdoms: Discovery: Book One Nicole L Jamison / Book Paperback
common.buy 6.42 € 12.55 лв
To Funk and Die in La Nelson George / Book Hardback
common.buy 19.78 € 38.69 лв
Annals of the Edinburgh Stage James C. Dibdin / Book Paperback
common.buy 31.91 € 62.41 лв
Why Knowledge Matters E. D. Hirsch / Book Paperback
common.buy 36.53 € 71.46 лв
Breaking Through, 2nd Edition Sandra Vandermerwe / Book Paperback
common.buy 52.93 € 103.52 лв
Brill's Companion to Herodotus Egbert J. Bakker / Book Paperback
common.buy 69.32 € 135.59 лв
Collected Mathematical Papers of James Joseph Sylvester James Joseph Sylvester / Book Hardback
common.buy 44.86 € 87.74 лв
Affordable
Pokemon Pocket Comics: Legendary Pokemon Hidenori Kusaka / Book Paperback
common.buy 5.55 € 10.85 лв
Hare and the Tortoise Bernadette Watts / Book Hardback
common.buy 17.53 € 34.28 лв
The Miracle Mongers: An Expose Harry Houdini / Book Hardback
common.buy 37.10 € 72.56 лв

Login

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

 
mandatory
mandatory

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?