Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Czech Post 74 Balíkovna 49 GLS point 54 GLS courier 64 Zásilkovna 44 PPL courier 99

Algebraic Methodology and Software Technology (AMAST'93)

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology (AMAST'93) Maurice Nivat
Libristo code: 05273673
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software te... Full description
? points 147 b
1 472
Low in stock at our supplier Shipping in 12-15 days

30-day return policy


You might also be interested in


How to Manage Your Mother Brian Bates / Paperback
common.buy 209
COMING SOON
Culture and Politics in Early Renaissance Padua Benjamin G. Kohl / Hardback
common.buy 5 216
Summa de modis significandi Michaelis de Marbasio / Hardback
common.buy 3 176
History Of Ancient Greek Literature (1902) N. Fowler Harold / Paperback
common.buy 1 045
Jane Barker, Exile Kathryn R. King / Hardback
common.buy 2 787
Animal Fairy Tales Pack B of 3 Charlotte Guillain / Paperback
common.buy 724
COMING SOON
Three Down, Nine Across John Capon / Paperback
common.buy 209
Séminaire de Probabilités XXXVI Jacques Azéma / Paperback
common.buy 1 472
Biochips Jing Cheng / Hardback
common.buy 2 902
Lit Crit 1400-1800 74 Lynn Spampinato / Hardback
common.buy 17 044
Unabridged Collected Works Michael / Paperback
common.buy 468

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.

About the book

Full name Algebraic Methodology and Software Technology (AMAST'93)
Language English
Binding Book - Paperback
Date of issue 1993
Number of pages 416
EAN 9783540198529
ISBN 3540198520
Libristo code 05273673
Weight 710
Dimensions 155 x 235 x 24
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

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