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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Algebraic Methodology and Software Technology

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

Language EnglishEnglish
Book Paperback
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 289 b
119.32 €
233.37  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Die Monster Mädchen - Band 17 Okayado / Book Paperback
common.buy 9.19 € 17.98 лв
tg -jl- lds sentimental 60v 04/2010 Book binding.
common.buy 493.27 € 964.75 лв
Das bleibt in der Familie Sandra Konrad / Book Paperback
common.buy 13.43 € 26.27 лв
Coming soon New
Das Winnie Puuh Buch Simon Beecroft / Book Hardback
common.buy 26.87 € 52.55 лв
Guide Vert Alpes du Nord, Savoie Mont Blanc, Dauphiné / Book Paperback
common.buy 21.08 € 41.23 лв
Des ducs à tomber - 1 - La face cachée du duc de Basingstoke Bradley / Book Paperback
common.buy 11.21 € 21.92 лв
Der Doktor und das liebe Vieh James Herriot / Book Paperback
common.buy 13.43 € 26.27 лв
Els ports Hernàndez i Carnè / Book Paperback
common.buy 38.29 € 74.89 лв
Atlas zvierat / Book Hardback
common.buy 17.98 € 35.16 лв
1008 Spiel- und Übungsformen im Gerätturnen Walter Bucher / Book Paperback
common.buy 22.58 € 44.16 лв
Il Giardino degli Aranci - Il Mondo del Bosco Ilaria Pasqua / Book Paperback
common.buy 13.90 € 27.18 лв
Als der Osten brannte Henning Stühring / Book Paperback
common.buy 32.29 € 63.16 лв
Im Berufssprachkurs Annette Müller / Book Paperback
common.buy 22.84 € 44.66 лв
Apuntes Sobre la Jurisdicción Constitucional Electoral Moreno Trujillo / Book Paperback
common.buy 19.37 € 37.89 лв
L'organisation mondiale du commerce NE Michel Rainelli / Book Paperback
common.buy 15.08 € 29.50 лв
La Bataille de Montereau: 18 Fevrier 1814 Tondu Nangis-L / Book Paperback
common.buy 15.55 € 30.41 лв
Pani Marta I Pyat' Ee Lyu... Irina Sheydneruk / Book Paperback
common.buy 23.56 € 46.08 лв
Érd el könnyedén! Farkas János / Book Hardback
common.buy 12.81 € 25.06 лв
A kuku Basia Flores / Book Hardback
common.buy 7.49 € 14.65 лв
Hildebrand's Urlaubskarte Kanada Ost. Canada the East. Canada l'Est / Printed items Map
common.buy 8.63 € 16.87 лв
La sierra de Ayllón Miguel Ángel Díaz Martínez / Book Paperback
common.buy 15.76 € 30.82 лв
Filosofía de la religión José Morales / Book Paperback
common.buy 24.28 € 47.49 лв

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.

About the book

Full name Algebraic Methodology and Software Technology
Author Michael Johnson
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 602
EAN 9783540638889
ISBN 3540638881
Libristo code 05274790
Publishers Springer, Berlin
Weight 785
Dimensions 156 x 234 x 31

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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 102.94 € 201.33 лв
Algebraic Methodology and Software Technology José Meseguer / Book Paperback
common.buy 54.36 € 106.32 лв
McCance & Huether’s Pathophysiology Julia Rogers / Book Hardback
common.buy 141.96 € 277.64 лв
Brill's Companion to Herodotus Egbert J. Bakker / Book Paperback
common.buy 67.90 € 132.80 лв
The DuPont Dynasty John K Winkler / Book Hardback
common.buy 47.69 € 93.28 лв
Afghanistan: Politics, Elections, and Government Performance Kenneth Katzman / Book Paperback
common.buy 19.27 € 37.69 лв
Why You Are In Debt Up To Your Eyeballs: The Fourth Book in the "Why" Series of Books Dr Leland Benton / Book Paperback
common.buy 10.23 € 20.00 лв
An Authentic History of the Cato-Street Conspiracy; With the Trials at Large of the Conspirators, for High Treason and Murder; A Description of Their George Theodore Wilkinson / Book Paperback
common.buy 28.83 € 56.39 лв
The Trial of the British Soldiers, of the 29th Regiment of Foot, for the Murder of Crispus Attucks, Samuel Gray, Samuel Maverick, James Caldwell, and Edmund Trowbridge / Book Paperback
common.buy 17.10 € 33.45 лв
Annals of the Edinburgh Stage James C. Dibdin / Book Paperback
common.buy 34.00 € 66.50 лв
We are Supposed to be in Love, but We Have Both Forgotten How to Smile Han Yin / Book Paperback
common.buy 16.07 € 31.42 лв
Why Knowledge Matters E. D. Hirsch / Book Paperback
common.buy 35.81 € 70.04 лв
Hazel's Pocket Posh Journal, Mum Andrews McMeel Publishing / Book Paperback
common.buy 7.69 € 15.05 лв
Breaking Through, 2nd Edition Sandra Vandermerwe / Book Paperback
common.buy 56.07 € 109.66 лв
History of Spanish Painting, Volume IV-Part 1, The Hispano-Flemish Style in North-Western Spain Chandler Rathfon Post / Book Hardback
common.buy 50.33 € 98.44 лв
Order and Conflict in Public Space Mattias de Backer / Book Paperback
common.buy 78.24 € 153.02 лв
Collected Mathematical Papers of James Joseph Sylvester James Joseph Sylvester / Book Hardback
common.buy 43.87 € 85.80 лв
Affordable
Pokemon Pocket Comics: Legendary Pokemon Hidenori Kusaka / Book Paperback
common.buy 5.58 € 10.91 лв
Hare and the Tortoise Bernadette Watts / Book Hardback
common.buy 17.62 € 34.46 лв
Index of Obituaries and Marriages in The [Baltimore] Sun, 1876-1880 Francis P O[--[neill / Book Paperback
common.buy 42.53 € 83.17 лв
Where's Noddy? Martin Hill-Jones / Book Hardback
common.buy 42.99 € 84.08 лв
The Miracle Mongers: An Expose Harry Houdini / Book Hardback
common.buy 36.33 € 71.05 лв
Fox Plays Ball Corey R. Tabor / Book Paperback
common.buy 5.47 € 10.70 лв
Stolen Show Carolyn Keene / E-book Adobe ePub DRM
common.buy 10.80 € 21.11 лв

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