phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Algebraic Methodology and Software Technology

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 304 b
3 037 Kč včetně DPH
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Herbert Von Karajan Richard Osborne / Paperback
common.buy 757 Kč
Hobbit John Ronald Reuel Tolkien / Paperback
common.buy 522 Kč
Riemannian Geometry Manfredo Perdigao do Carmo / Hardback
common.buy 1 133 Kč
Hildebrand's Urlaubskarte Kanada Ost. Canada the East. Canada l'Est / Map
common.buy 212 Kč
Das Richtige gründen Patrick Stähler / Hardback
common.buy 651 Kč
Religious Women in Early Carolingian Francia Felice Lifshitz / Hardback
common.buy 1 737 Kč
Atlantic Crossings Les Weatheritt / Paperback
common.buy 642 Kč
Pani Marta I Pyat' Ee Lyu... Irina Sheydneruk / Paperback
common.buy 715 Kč
Taking Stock of Air Liberalization Marc Gaudry / Paperback
common.buy 3 037 Kč
A to Z of American Radio Soap Operas Jim Cox / Paperback
common.buy 1 796 Kč
Lives Plutarch / Hardback
common.buy 880 Kč
Erzeugung Von Schwingungen Mit Wesentlich Nichtlinearen Negativen Widerstanden Rudolf Urtel / Paperback
common.buy 1 676 Kč
Another Philosophy of History and Selected Political Writings Johann Gottfried Herde / Hardback
common.buy 1 531 Kč
Challenging Modernity Mark Pegrum / Hardback
common.buy 3 851 Kč
Goodwood Revival Charles Henry Gordon-Lennox March and Kinrara / Hardback
common.buy 2 023 Kč
Algebraic Methodology and Software Technology José Meseguer / Paperback
common.buy 1 540 Kč

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.

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

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