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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Foundations of Software Science and Computation Structures

4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Language EnglishEnglish
Book Paperback
Book Foundations of Software Science and Computation Structures Furio Honsell
Libristo code: 01563389
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2001
This book constitutes the refereed proceedings of the 4th International Conference on Foundations of... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Mon Couserans Peyronnet / Book Paperback
common.buy 28.39 €
Argentina y Venezuela: 20 testimonios Alejandro Martinez Ubieda / E-book Adobe ePub DRM
common.buy 6.89 €
Less Is More Lost Frequencies / Audio Audio CD
common.buy 21.69 €
Dorosłe dzieci niedojrzałych emocjonalnie rodziców Gibson Lindsay C. / Book Paperback
common.buy 14.09 €
V divočine 3D / Book Hardback
common.buy 2.09 €
Richteramt und Ethik. Herbert Schambeck / Book Paperback
common.buy 22.89 €
Coming soon
Lire et s'entrainer PROSPER MERIMEE / Book Paperback
common.buy 9.69 €

This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.

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 Foundations of Software Science and Computation Structures
Author Furio Honsell, Marino Miculan
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 420
EAN 9783540418641
ISBN 3540418644
Libristo code 01563389
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1330
Dimensions 155 x 235 x 24

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

You might also be interested in

Databases in Networked Information Systems Subhash Bhalla / Book Paperback
common.buy 53.79 €
Toddler Coloring Book Animals The Coloring Book Art Design Studio / Book Paperback
common.buy 9.69 €
Top
Misbehaving Richard H. Thaler / Book Paperback
common.buy 12.99 €
Third Thousand Petal Zen Lotus Poems 3200 to 3400 John Worldpeace Jd / Book Paperback
common.buy 15.39 €
Top
Check Your English Vocabulary for IELTS Rawdon Wyatt / Book Paperback
common.buy 12.69 €
Wood Becomes Water Gail Reichstein / Book Paperback
common.buy 18.89 €
Dark Wear Tabitca Cope / Book Paperback
common.buy 17.69 €
How to Avoid Unplanned Pregnancy WITHOUT Using Contraceptive Drugs Pett Corby / Book Paperback
common.buy 18.89 €
Coming soon
Sensuous Frazetta J David Spurlock / Book Paperback
common.buy 22.69 €
The Sign of the Sengara Jarrett Skaddisson / Book Hardback
common.buy 20.99 €
Mastering Market Analytics Robert Kozielski / Book Paperback
common.buy 57.89 €
Creating Stylized Animals Publishing 3dtotal / Book Paperback
common.buy 35.59 €
Libyan Revolution and its Aftermath Peter Cole / Book Paperback
common.buy 18.19 €
Severance Genealogy David C Dewsnap / Book Paperback
common.buy 42.99 €
Master of Orion: To the Stars Christopher Parker / E-book Adobe ePub DRM
common.buy 5.09 €
Baby Farm Animals Sandra Grimm / Book Hardback
common.buy 11.89 €
Holy Meal A Gordon T Smith / Book Paperback
common.buy 21.09 €
No Strings Attached Kate Angell / Book Paperback
common.buy 17.99 €
The Emerald Handbook of Wellbeing in Higher Education – Global Perspectives on Students, Faculty, Leaders, and Institutions Keith D. Walker / Book Hardback
common.buy 180.79 €
Shock of the Fall Nathan Filer / E-book Adobe ePub DRM
common.buy 7.99 €
Congenital Anomalies of the Kidney and Urinary Tract Amin J. Barakat / Book Paperback
common.buy 126.09 €
Top
Art of Happiness Lama Dalai / Book Paperback
common.buy 12.99 €
Macmillan School Dictionary Paperback Macmillan / Book Paperback
common.buy 25.59 €
Leading to Change: The Challenge of the New Superi Superintendency Susan Moore Johnson / Book Hardback
common.buy 55.39 €

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?