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
DPD courier 4.99 € GLS courier 11.49 €
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 274 b
113.29 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

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 103.07 €
Algebraic Methodology and Software Technology José Meseguer / Book Paperback
common.buy 51.68 €
McCance & Huether’s Pathophysiology Julia Rogers / Book Hardback
common.buy 144.85 €
Hare and the Tortoise Bernadette Watts / Book Hardback
common.buy 16.68 €
We are Supposed to be in Love, but We Have Both Forgotten How to Smile Han Yin / Book Paperback
common.buy 16.07 €
Why Knowledge Matters E. D. Hirsch / Book Paperback
common.buy 35.80 €
Hazel's Pocket Posh Journal, Mum Andrews McMeel Publishing / Book Paperback
common.buy 7.68 €
History of Spanish Painting, Volume IV-Part 1, The Hispano-Flemish Style in North-Western Spain Chandler Rathfon Post / Book Hardback
common.buy 47.94 €
Brill's Companion to Herodotus Egbert J. Bakker / Book Paperback
common.buy 67.97 €
Collected Mathematical Papers of James Joseph Sylvester James Joseph Sylvester / Book Hardback
common.buy 43.89 €
Pokemon Pocket Comics: Legendary Pokemon Hidenori Kusaka / Book Paperback
common.buy 10.92 €
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.82 €
Index of Obituaries and Marriages in The [Baltimore] Sun, 1876-1880 Francis P O[--[neill / Book Paperback
common.buy 29.63 €
Where's Noddy? Martin Hill-Jones / Book Hardback
common.buy 46.83 €
Software Testing in the Cloud Scott Tilley / Book Hardback
common.buy 216.47 €
Teach Online Dr Carolyn Edwards / Book Hardback
common.buy 23.86 €
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 25.89 €
Annals of the Edinburgh Stage James C. Dibdin / Book Paperback
common.buy 32.06 €
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.09 €
Elgar Piano Album Sue Kay / Book Book
common.buy 47.94 €
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.21 €
Afghanistan: Politics, Elections, and Government Performance Kenneth Katzman / Book Paperback
common.buy 19.31 €
Trio Tales 2013: An Anthology of This Year's Short Fiction Collections with Additional Stories Judith Cullen / Book Paperback
common.buy 7.27 €
Order and Conflict in Public Space Mattias de Backer / Book Paperback
common.buy 75.25 €

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?