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č GLS courier 64 Kč Zásilkovna 44 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

FME 2001: Formal Methods for Increasing Software Productivity

Language EnglishEnglish
Book Paperback
Book FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Libristo code: 01563353
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Full description
? points 290 b
2 902 Kč včetně DPH
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

Classroom Instruction That Works Ceri B Dean / Paperback
common.buy 727 Kč
Making Money Stephen Briggs / Paperback
common.buy 535 Kč
Boys Who Rocked the World Michelle Roehm McCann / Paperback
common.buy 248 Kč
Folgebewertung des Goodwill Tino Fettback / Paperback
common.buy 2 222 Kč
Aushandlung Ohne Dissens? Sarah Hitzler / Paperback
common.buy 1 319 Kč
Escape Heleen van Royen / Paperback
common.buy 464 Kč
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Hardback
common.buy 3 695 Kč
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Paperback
common.buy 846 Kč
Banks of the Nile Todd John A / Hardback
common.buy 1 020 Kč
Evolution Jeri Travis / Hardback
common.buy 661 Kč
Russische Reise Hermann Bahr / Paperback
common.buy 899 Kč
Das Vogtland, 1 DVD Sagenhaft-Reiseführer / DVD
common.buy 305 Kč
Naturalizing Epistemic Virtue Abrol Fairweather / Hardback
common.buy 2 337 Kč
Ausweg ins Unwirkliche Clemens Brunn / Paperback
common.buy 1 628 Kč
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Paperback
common.buy 1 981 Kč

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

About the book

Full name FME 2001: Formal Methods for Increasing Software Productivity
Author Jose N. Oliveira, Pamela Zave
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 634
EAN 9783540417910
ISBN 3540417915
Libristo code 01563353
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1083
Dimensions 155 x 233 x 35

Categories

Economics, Finance, Business & Management > Business & Management > Business mathematics & systems
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 > Business applications
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