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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Libristo code: 01655091
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Full description
? points 125 b
51.47 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le système fiscal international : une construction conceptuelle et pragmatique Giard / Book Paperback
common.buy 41.39 €
Analiza PESTLE Alina Dobre / Book Paperback
common.buy 13.49 €
Coming soon
Comme un mendiant sur les quais de marbre Penblanc / Book Paperback
common.buy 24.27 €
Courir David Simpson / Book Hardback
common.buy 32.23 €
Přerušený klid - Islandská krimi Arnaldur Indridason / Book Hardback
common.buy 11.98 €
NoElle et Lui Alban Bourdy / Book Paperback
common.buy 10.87 €
La hija del Ganges Raluca Mirela Petrescu / E-book Adobe ePub DRM
common.buy 8.75 €
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Book Hardback
common.buy 81.39 €
Hemisferios / Book Book
common.buy 7.95 €
Pierre des fées du Maroc / Book binding.
common.buy 10.77 €
Le Massif Du Mont Blanc (1876) Eugene Emmanuel Viollet-Le-Duc / Book Paperback
common.buy 32.43 €
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Book Paperback
common.buy 16.81 €
Conoce Peru Robin Johnson / Book Hardback
common.buy 27.90 €
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Printed items Sheet music
common.buy 13.49 €
Dokumenty k dějinám ruské a ukrajinské emigrace v Československé republice (1918 - 1939) Ljubov Běloševská / Book Paperback
common.buy 5.73 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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 Formal Methods: Foundations and Applications
Author Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 351
EAN 9783642104510
ISBN 3642104517
Libristo code 01655091
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 557
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
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

Adventures with Annie Coloring Book Misty Marksberry Merideth / Book Paperback
common.buy 7.55 €
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Book Paperback
common.buy 18.73 €
Stock Market Trivia Fred Fuld III / Book Paperback
common.buy 19.23 €
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Book Paperback
common.buy 15.60 €
Taylor's STEM Adventures: Hawaii Mary Payton / Book Hardback
common.buy 17.82 €
Fun Card English: Countable and Uncountable Nouns Paweł Dwornik / Printed items Cards
common.buy 8.05 €
U.S. Aircraft - Fighting Jets (Wall Calendar 2026 DIN A4 landscape), CALVENDO 12 Month Wall Calendar Calvendo / Calendar/Diary Calendar
common.buy 19.53 €
A House Made of Stars Tawnysha Greene / Book Paperback
common.buy 17.32 €
First Poems Wildie Thayer / Book Paperback
common.buy 24.97 €
Microserfs & Girlfriend in a Coma Douglas Coupland / Audiobook MP3
common.buy 11.78 €
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Book Hardback
common.buy 112.82 €
Top
Change Your Diet, Change Your Mind: A Food-First Plan to Optimize Your Mental Health EDE GEORGIA / Book Hardback
common.buy 24.87 €
Discovery of the South Shetland Islands / The Voyage of the Brig Williams, 1819-1820 and The Journal of Midshipman C.W. Poynter R.J. Campbell / Book Paperback
common.buy 55.80 €
Always Together Megan Cowan / E-book Adobe ePub DRM
common.buy 4.62 €
Ethics of Research with Human Subjects David B. Resnik / E-book Adobe ePub DRM
common.buy 146.57 €
Coercive Brain-Reading in Criminal Justice Sjors Ligthart / E-book Adobe ePub DRM
common.buy 123.20 €
From the Beginning of Always Bonnie Bachman / Book Paperback
common.buy 9.86 €
ValueSelling Julie Thomas / Book Paperback
common.buy 17.32 €
Bankers Shane Ross / Book Paperback
common.buy 26.28 €
Play and Learning in Early Childhood Settings Ingrid Pramling Samuelsson / Book Paperback
common.buy 102.54 €
Chester Cello Fingering Chart David (University of Toronto) Harrison / Book Paperback
common.buy 6.34 €
Generalist Case Management Workbook Marianne Woodside / Book Paperback
common.buy 80.28 €
Personality and the Fate of Organizations Robert Hogan / Book Hardback
common.buy 243.38 €
Top Ten Jazz Songs To Play On Piano / Book Paperback
common.buy 22.25 €

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?