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

Formal Methods: Foundations and Applications

Language EnglishEnglish
Book Paperback
Book Formal Methods: Foundations and Applications Leila Ribeiro
Libristo code: 15195023
Publishers Springer International Publishing AG, November 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... 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

Zarzadzanie ryzykiem w organizacjach non profit Domański Jarosław / Hardback
common.buy 16.15 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Paperback
common.buy 16.15 €
Leber und Galle entgiften und stärken Angela Fetzner / Hardback
common.buy 23.54 €
Paul Lincke Jan Kutscher / Hardback
common.buy 36.93 €
Excel 2013 en profundidad María Pérez Marques / Paperback
common.buy 44.73 €
Antony Alexandre Dumas / Paperback
common.buy 14.33 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Paperback
common.buy 20.54 €
THE RAINBOW FEATHER FERGUS HUME / Hardback
common.buy 39.70 €
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Paperback
common.buy 38.95 €
SPA-RIGBY PM COLECCION Rigby / Hardback
common.buy 86.80 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Paperback
common.buy 17.07 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Hardback
common.buy 43.02 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

About the book

Full name Formal Methods: Foundations and Applications
Author Leila Ribeiro, Thierry Lecomte
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 253
EAN 9783319498140
ISBN 3319498142
Libristo code 15195023
Publishers Springer International Publishing AG
Weight 4044
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer hardware > Maintenance & repairs
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
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