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

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
117.99 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

tg -jl- lds sentimental 60v 04/2010 Book binding.
common.buy 488.39 €
Die Monster Mädchen - Band 17 Okayado / Book Paperback
common.buy 9.50 €
Der Doktor und das liebe Vieh James Herriot / Book Paperback
common.buy 14.00 €
Guide Vert Alpes du Nord, Savoie Mont Blanc, Dauphiné / Book Paperback
common.buy 21.19 €
Das bleibt in der Familie Sandra Konrad / Book Paperback
common.buy 14.00 €
Apuntes Sobre la Jurisdicción Constitucional Electoral Moreno Trujillo / Book Paperback
common.buy 19.29 €
L'organisation mondiale du commerce NE Michel Rainelli / Book Paperback
common.buy 15.39 €
Unsere Erde - Gymnasium Baden-Württemberg - 5./6. Schuljahr Henriette Dieterle / Book Hardback
common.buy 41.09 €
A kuku Basia Flores / Book Hardback
common.buy 6.39 €
Des ducs à tomber - 1 - La face cachée du duc de Basingstoke Bradley / Book Paperback
common.buy 11.49 €
Nuevas Historias Curiosas de la Ciencia = Curious New Science Stories Jean C. Baudet / Book Paperback
common.buy 21.79 €
Erzeugung Von Schwingungen Mit Wesentlich Nichtlinearen Negativen Widerstanden Rudolf Urtel / Book Paperback
common.buy 55.29 €
MILAGROS DE NUESTRA SEÑORA GONZALO DE BERCEO / Book Hardback
common.buy 10.09 €
Hildebrand's Urlaubskarte Kanada Ost. Canada the East. Canada l'Est / Printed items Map
common.buy 8.79 €
Pani Marta I Pyat' Ee Lyu... Irina Sheydneruk / Book Paperback
common.buy 23.29 €
Il Giardino degli Aranci - Il Mondo del Bosco Ilaria Pasqua / Book Paperback
common.buy 14.49 €
The Old Man and the Sea (Traditional Chinese Edition) Ernest Hemingway / Book Paperback
common.buy 7.99 €
Als der Osten brannte Henning Stühring / Book Paperback
common.buy 32.19 €
La Bataille de Montereau: 18 Fevrier 1814 Tondu Nangis-L / Book Paperback
common.buy 17.09 €
Das Richtige gründen Patrick Stähler / Book Hardback
common.buy 29.90 €
Das Heulen der Windhunde um den Bunker im Obstgarten Broder-M. Ketelsen / Book Paperback
common.buy 8.70 €
La sierra de Ayllón Miguel Ángel Díaz Martínez / Book Paperback
common.buy 14.69 €
Filosofía de la religión José Morales / Book Paperback
common.buy 24.09 €

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 106.69 €
Algebraic Methodology and Software Technology José Meseguer / Book Paperback
common.buy 53.79 €
Top
McCance & Huether’s Pathophysiology Julia Rogers / Book Hardback
common.buy 150.79 €
Hare and the Tortoise Bernadette Watts / Book Hardback
common.buy 17.39 €
We are Supposed to be in Love, but We Have Both Forgotten How to Smile Han Yin / Book Paperback
common.buy 16.69 €
Why Knowledge Matters E. D. Hirsch / Book Paperback
common.buy 36.99 €
Hazel's Pocket Posh Journal, Mum Andrews McMeel Publishing / Book Paperback
common.buy 8.09 €
History of Spanish Painting, Volume IV-Part 1, The Hispano-Flemish Style in North-Western Spain Chandler Rathfon Post / Book Hardback
common.buy 49.79 €
Brill's Companion to Herodotus Egbert J. Bakker / Book Paperback
common.buy 70.29 €
Collected Mathematical Papers of James Joseph Sylvester James Joseph Sylvester / Book Hardback
common.buy 45.59 €
Coming soon
Pokemon Pocket Comics: Legendary Pokemon Hidenori Kusaka / Book Paperback
common.buy 9.19 €
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 30.29 €
Index of Obituaries and Marriages in The [Baltimore] Sun, 1876-1880 Francis P O[--[neill / Book Paperback
common.buy 30.89 €
Where's Noddy? Martin Hill-Jones / Book Hardback
common.buy 48.49 €
Software Testing in the Cloud Scott Tilley / Book Hardback
common.buy 224.19 €
Teach Online Dr Carolyn Edwards / Book Hardback
common.buy 25.09 €
Sportsman and Naturalist in Canada, or Notes on the Natural History of the Game, Game Birds, and Fish of That Country ... Illustrated with Coloured Pl William Ross King / Book Paperback
common.buy 27.19 €
Annals of the Edinburgh Stage James C. Dibdin / Book Paperback
common.buy 33.59 €
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.89 €
Elgar Piano Album Sue Kay / Book Book
common.buy 49.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.69 €
Afghanistan: Politics, Elections, and Government Performance Kenneth Katzman / Book Paperback
common.buy 20.09 €
Trio Tales 2013: An Anthology of This Year's Short Fiction Collections with Additional Stories Judith Cullen / Book Paperback
common.buy 7.59 €
Order and Conflict in Public Space Mattias de Backer / Book Paperback
common.buy 77.69 €

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?