Code: 02081960

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer, Berlin
SKU: 02081960
Price: 47.53 EUR
Availability: InStock
Author: Juliano Iyoda
ISBN: 9783642410703

by Juliano Iyoda, Leonardo de Moura

Language: English
Binding: Paperback
Number of pages: 243
Publisher: Springer, Berlin, 2013
More about this

47.53 €

RRP: 51.50 €

You save 3.96 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Una historia divertida
18.20 € -25 %
Buy
Bobbin Lace
11.32 € -24 %
Buy
DCC RPG Tome of Adventure Volume 4: The Purple Planet
35.50 € -24 %
Buy
Game Theory in Action
58.86 €
Buy
Becoming a Sport, Exercise, and Performance Psychology Professional
113.99 €
Buy
Damage
10.41 € -35 %
Buy
How to Coach Your Child to Study: Time Management
7.27 € -6 %
Buy
Pornotopia. Playboy, architektura i biopolityka w czasach zimnej wojny
13.14 € -10 %
Buy
Joy of Photoshop
14.76 € -19 %
Buy
Exploring Science International Chemistry Student Book
42.88 €
Buy
Life of Marie de Medicis, Queen of France
64.22 €
Buy
Myth of Presidential Representation
36.41 €
Buy
Concise Encyclopedia of Supersymmetry
513.77 € -7 %
Buy
Nonlinear Dynamics
151.02 € -9 %
Buy
European Union and Global Governance
224.66 €
Buy
Markets and Mortality
130.99 €
Buy
La Comedie des Meprises
17.89 € -6 %
Buy
Dictionnaire de Lempri're(le)
12.43 €
Buy
Cours d'histoire moderne
53.91 €
Buy
English Prose From Mandeville to Ruskin;
36.41 € -2 %
Buy
Forbidden Signs
31.45 €
Buy
Die Formel 1 in Interlagos - Vol. 1. Vol.1
20.52 € -11 %
Buy
Doktor Barthel Buchplan Dresden und Umgebung
7.68 € -14 %
Buy
Finchen - Ein aufregendes Hundeleben - Band 2
8.18 € -9 %
Buy
Mission de la Cybele En Extreme- Orient: 1817-1818: Journal de Voyage Du Capitaine
24.07 €
Buy
Advances in Nutritional Research
55.83 €
Buy
LA FUSION. MEMORIAS DE OFICINA
19.61 €
Buy
Höllisch heiß
9.40 € -15 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods: Foundations and Applications

Book details
Synopsis
Trending among others

You get 115 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013.§The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Book details

Book category Books in English Computing & information technology Computer science

47.53 €

Full title: Formal Methods: Foundations and Applications
Subtitle: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Author: Juliano Iyoda, Leonardo de Moura
Language: English
Binding: Paperback
Number of pages: 243
EAN: 9783642410703
ISBN: 3642410707
ID: 02081960
Publisher: Springer, Berlin
Weight: 397 g
Dimensions: 236 × 155 × 16 mm
Published: 2013