[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Algebraic Methodology and Software Technology

Language EnglishEnglish
Book Paperback
Book Algebraic Methodology and Software Technology Helene Kirchner
Libristo code: 01564599
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2002
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Meth... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Finite Element Analysis in Geotechnical Engineering D. / Hardback
common.buy 254.65 €
Die deutsche Hanse Gisela Graichen / Paperback
common.buy 14.99 €
Betriebswirtschaftliches und Rechtsbewusstes Handeln Helmut Preis / Paperback
common.buy 26.65 €
Durchsichtige Dinge Vladimír Nabokov / Hardback
common.buy 14.99 €
Einleitung in die Moralwissenschaft. Bd.2 Georg Simmel / Paperback
common.buy 14.99 €
IUTAM Symposium on Multiscale Modeling and Characterization of Elastic-Inelastic Behavior of Engineering Materials S. Ahzi / Hardback
common.buy 206.48 €
Human Demography and Disease Susan Scott / Hardback
common.buy 184.64 €
Beamed Energy Propulsion Claude R. Phipps / Hardback
common.buy 236.66 €
Instructional Explanations in the Disciplines Mary K. Stein / Hardback
common.buy 134.22 €
Erfolg fur Dummies Sonderausgabe Zig Ziglar / Paperback
common.buy 12.85 €
All-In-One Quilter's Reference Tool (2nd edition) Harriet Hargrave / Spiral bound
common.buy 17.33 €
Lismore Eugene F. Dennis / Paperback
common.buy 23.00 €
Biofuels, Solar and Wind as Renewable Energy Systems David Pimentel / Hardback
common.buy 134.22 €
Klinische Und Liquordiagnostik Der R ckenmarkstumoren Karl Grosz / Paperback
common.buy 58.86 €
Human Nature and Public Policy S. Peterson / Paperback
common.buy 68.07 €
Genxegesis John M. Ulrich / Paperback
common.buy 25.25 €

This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002.The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development.

About the book

Full name Algebraic Methodology and Software Technology
Author Helene Kirchner, Christophe Ringeissen
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 508
EAN 9783540441441
ISBN 3540441441
Libristo code 01564599
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1590
Dimensions 155 x 235 x 28

Categories

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
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