Code: 01659166

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01659166
Price: 63.49 EUR
Availability: InStock
Author: Adenilso Simao
ISBN: 9783642250316

by Adenilso Simao, Carroll Morgan

Language: English
Binding: Paperback
Number of pages: 205
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
More about this

63.49 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Mágikus világok
12.24 € -11 %
Buy
Progetto Italiano 1 Słowniczek + Elementy OOP
7.89 € -6 %
Buy
LO QUE APRENDÍ HASTA LOS 30
6.98 € -6 %
Buy
Jak napsat dobrý scénář
11.33 € -21 %
Buy
National Uncanny
25.41 €
Buy
Kameny a hvězdy
11.74 € -18 %
Pre-order
The World's Fastest Level Up (Manga) Vol. 1
13.97 € -24 %
Buy
LEGO Star Wars Awesome Vehicles
14.78 € -28 %
Buy
Alice
20.15 € -25 %
Buy
Das Gehirn
17.01 € -16 %
Buy
Aesops Fables
13.76 € -30 %
Buy
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS)
35.34 €
Buy
Rota Fortunae
13.56 € -10 %
Buy
El profesor de inglés
21.16 € -6 %
Buy
Valuing Films
53.37 € -4 %
Buy
The Sleep Gas
18.12 € -9 %
Buy
Mister Rainbow
31.29 €
Buy
Монстр продаж. Как чертовски хорошо продавать и богатеть
19.23 € -12 %
Buy
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung.
48.30 €
Buy
Geometry and Differential Geometry
46.48 € -4 %
Buy
Die pädagogische Relevanz von Rousseaus "Emil"
16.20 € -10 %
Buy
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr
13.16 €
Buy
Pilates und Dehnung. Eine symbiotische Verbindung
26.93 € -11 %
Buy
The Automobile Green Book
17.51 € -2 %
Buy
Accessible Assessment and Pedagogies
59.04 €
Buy
Puzzle
11.94 €
Buy
Solar Eclipse
9 € -6 %
Buy
LA MALDICIóN DE JACINTA PICHIMAHUIDA
16.09 €
Buy
Piensa, es gratis
17.92 € -6 %
Buy
Die Polysaccharide
77.17 € -4 %
Buy
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio
35.74 € -14 %
Buy
Anti-Disturbance Control for Systems with Multiple Disturbances
327.74 €
Buy
Advanced Methods for Computational Collective Intelligence
154.55 € -7 %
Buy
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA
24.10 €
Buy
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw
12.35 € -7 %
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 153 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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 Human-computer interaction

63.49 €

Full title: Formal Methods: Foundations and Applications
Subtitle: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Author: Adenilso Simao, Carroll Morgan
Language: English
Binding: Paperback
Number of pages: 205
EAN: 9783642250316
ISBN: 3642250319
ID: 01659166
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 338 g
Dimensions: 235 × 155 × 15 mm
Date of publishing: 28. October 2011