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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 307 b
44 876 Ft
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

tg -jl- lds sentimental 60v 04/2010 Book binding.
common.buy 167 276 Ft
Die Monster Mädchen - Band 17 Okayado / Book Paperback
common.buy 3 491 Ft
Der Doktor und das liebe Vieh James Herriot / Book Paperback
common.buy 4 904 Ft
Guide Vert Alpes du Nord, Savoie Mont Blanc, Dauphiné / Book Paperback
common.buy 7 271 Ft
Das bleibt in der Familie Sandra Konrad / Book Paperback
common.buy 4 904 Ft
Apuntes Sobre la Jurisdicción Constitucional Electoral Moreno Trujillo / Book Paperback
common.buy 6 599 Ft
L'organisation mondiale du commerce NE Michel Rainelli / Book Paperback
common.buy 5 259 Ft
Unsere Erde - Gymnasium Baden-Württemberg - 5./6. Schuljahr Henriette Dieterle / Book Hardback
common.buy 14 064 Ft
A kuku Basia Flores / Book Hardback
common.buy 2 146 Ft
Des ducs à tomber - 1 - La face cachée du duc de Basingstoke Bradley / Book Paperback
common.buy 3 942 Ft
Nuevas Historias Curiosas de la Ciencia = Curious New Science Stories Jean C. Baudet / Book Paperback
common.buy 7 621 Ft
Erzeugung Von Schwingungen Mit Wesentlich Nichtlinearen Negativen Widerstanden Rudolf Urtel / Book Paperback
common.buy 23 057 Ft
MILAGROS DE NUESTRA SEÑORA GONZALO DE BERCEO / Book Hardback
common.buy 3 445 Ft
Hildebrand's Urlaubskarte Kanada Ost. Canada the East. Canada l'Est / Printed items Map
common.buy 2 966 Ft
Pani Marta I Pyat' Ee Lyu... Irina Sheydneruk / Book Paperback
common.buy 9 113 Ft
Il Giardino degli Aranci - Il Mondo del Bosco Ilaria Pasqua / Book Paperback
common.buy 5 328 Ft
The Old Man and the Sea (Traditional Chinese Edition) Ernest Hemingway / Book Paperback
common.buy 2 920 Ft
Als der Osten brannte Henning Stühring / Book Paperback
common.buy 10 937 Ft
La Bataille de Montereau: 18 Fevrier 1814 Tondu Nangis-L / Book Paperback
common.buy 6 295 Ft
Das Richtige gründen Patrick Stähler / Book Hardback
common.buy 10 472 Ft
Das Heulen der Windhunde um den Bunker im Obstgarten Broder-M. Ketelsen / Book Paperback
common.buy 3 095 Ft
La sierra de Ayllón Miguel Ángel Díaz Martínez / Book Paperback
common.buy 5 287 Ft
Filosofía de la religión José Morales / Book Paperback
common.buy 8 234 Ft

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 36 407 Ft
Algebraic Methodology and Software Technology José Meseguer / Book Paperback
common.buy 21 201 Ft
McCance & Huether’s Pathophysiology Julia Rogers / Book Hardback
common.buy 51 198 Ft
Hare and the Tortoise Bernadette Watts / Book Hardback
common.buy 6 424 Ft
We are Supposed to be in Love, but We Have Both Forgotten How to Smile Han Yin / Book Paperback
common.buy 6 134 Ft
Why Knowledge Matters E. D. Hirsch / Book Paperback
common.buy 13 553 Ft
Hazel's Pocket Posh Journal, Mum Andrews McMeel Publishing / Book Paperback
common.buy 2 993 Ft
History of Spanish Painting, Volume IV-Part 1, The Hispano-Flemish Style in North-Western Spain Chandler Rathfon Post / Book Hardback
common.buy 23 320 Ft
Brill's Companion to Herodotus Egbert J. Bakker / Book Paperback
common.buy 25 788 Ft
Collected Mathematical Papers of James Joseph Sylvester James Joseph Sylvester / Book Hardback
common.buy 16 735 Ft
Pokemon Pocket Comics: Legendary Pokemon Hidenori Kusaka / Book Paperback
common.buy 4 002 Ft
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 11 199 Ft
Index of Obituaries and Marriages in The [Baltimore] Sun, 1876-1880 Francis P O[--[neill / Book Paperback
common.buy 10 486 Ft
Where's Noddy? Martin Hill-Jones / Book Hardback
common.buy 17 784 Ft
Software Testing in the Cloud Scott Tilley / Book Hardback
common.buy 76 489 Ft
Teach Online Dr Carolyn Edwards / Book Hardback
common.buy 9 274 Ft
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 10 062 Ft
Annals of the Edinburgh Stage James C. Dibdin / Book Paperback
common.buy 18 356 Ft
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 6 645 Ft
Elgar Piano Album Sue Kay / Book Book
common.buy 20 124 Ft
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 3 914 Ft
Afghanistan: Politics, Elections, and Government Performance Kenneth Katzman / Book Paperback
common.buy 7 391 Ft
Trio Tales 2013: An Anthology of This Year's Short Fiction Collections with Additional Stories Judith Cullen / Book Paperback
common.buy 2 804 Ft
Order and Conflict in Public Space Mattias de Backer / Book Paperback
common.buy 28 459 Ft

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?