Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642198281
Price: 296.2 RON
Availability: InStock

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Autor: Jim Davies, Leila Silva, Adenilso Simao

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

296.20 lei

This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symp...

Informații despre carte

Autor

Jim Davies, Leila Silva, Adenilso Simao

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

291

EAN

9783642198281

ISBN

3642198287

Enbook ID

01657595

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

448

Dimensiuni

155 x 235 x 19

Descriere completă

This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF§2010, held in Natal, Brazil, in November 2010.§The 18 revised full papers were carefully reviewed and selected from§55 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Lost In Hypertext: Intertextuality in the Television Show Lost

Massage for Busy People

Biographical History of England, From Egbert the Great to the Revolution

Sermons To The Young (1876)

Proceedings of 3rd International Conference on the Industry 4.0 Model for Advanced Manufacturing

Live Like Jesus

Introduction to the Study of English Literature

Plutarch's Lives. in Six Volumes. Translated from the Greek. with Explanatory and Critical Notes, from Dacier and Others; And a Complete Index. to Whi

Libraries Without Limits: Changing Needs - Changing Roles

Virtue and Terror

Clienții care au cumpărat această carte au mai cumpărat și

La guineu

ONE PIECE 97 (VO JAPONAIS)

Sinfonia alpestre

Manuel de psychologie clinique de la perinatalite

VAMPIRE KNIGHT Pearls 10

LES MOUVEMENTS NATIONALISTES FRANCAIS 1920-1945

Entwicklung des verbalen Aspekts bei zweisprachigen russisch-deutschen Kindern

Canzone della Strada, 1 Audio-CD

Giuseppe Verdi Und Das Risorgimento Ein Politischer Mythos Im Prozess Der Nationenbildung

Suche nach dem Sinn des Lebens