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

Recent Trends in Algebraic Development Techniques

Language EnglishEnglish
Book Paperback
Book Recent Trends in Algebraic Development Techniques José Luiz Fiadeiro
Libristo code: 01560468
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2005
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on... 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

Multiphase Flow Dynamics 4 Nikolay Ivanov Kolev / Paperback
common.buy 373.78 €
Wie erziehe ich meinen Hund Rita Lell / Paperback
common.buy 18.09 €
Offene Hochschulen Anke Hanft / Paperback
common.buy 32.01 €
Agents and Computational Autonomy Matthias Nickles / Paperback
common.buy 68.07 €
Es grollten die Goetter auf Santorin Verena Appenzeller / Paperback
common.buy 14.88 €
COMING SOON
Berlin under the New Empire 2 Volume Set Henry Vizetelly / Paperback
common.buy 85.41 €
Ghislaine Hector Malot / Hardback
common.buy 59.29 €
Merely Players? Jonathan Holmes / Paperback
common.buy 42.16 €
Verfahren zur Produktionsplanung und Produktionssteuerung in industriellen Unternehmungen. Ulrich Schwarzmaier / Paperback
common.buy 104.90 €
Biografie, Schule Und Geschlecht Davina Höblich / Paperback
common.buy 53.51 €
Not for Tourists Guide to London Not For Tourists / Paperback
common.buy 20.65 €

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.§The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.

About the book

Full name Recent Trends in Algebraic Development Techniques
Author José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 280
EAN 9783540253273
ISBN 3540253270
Libristo code 01560468
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 900
Dimensions 152 x 229 x 16

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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