Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira

Formal Methods: Foundations and Applications

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

Szerző: Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 399 Ft
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp...

Információk a könyvről

Szerző
Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2009
oldal
351
EAN
9783642104510
ISBN
3642104517
Enbook ID
01655091
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
557
Méretek
155 x 235 x 20

Teljes leírás

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.

Érdekelheti

A General View of Positivism

Auguste Comte
10 600 Ft

Microserfs & Girlfriend in a Coma

Douglas Coupland
4 059 Ft

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
20 372 Ft

Pedagogies for the Post-Anthropocene

Esther Priyadharshini
42 541 Ft

First Poems

Wildie Thayer
9 330 Ft

Adventures with Annie Coloring Book

Misty Marksberry Merideth
2 843 Ft

Taylor's STEM Adventures: Hawaii

Mary Payton
6 586 Ft

Book of Hours: The Beguilement of Brother Alphaios

J S Anderson
5 870 Ft

Generalist Case Management Workbook

Marianne Woodside
29 900 Ft

Stock Market Trivia

Fred Fuld III
7 231 Ft

A House Made of Stars

Tawnysha Greene
6 501 Ft

The Law of electric Wires in Streets and Highways

Edward Quinton Keasbey
7 113 Ft

USN Battleship vs IJN Battleship

Mark Stille
7 086 Ft

ValueSelling

Julie Thomas
6 501 Ft

Bankers

Shane Ross
9 785 Ft

Chester Cello Fingering Chart

David (University of Toronto) Harrison
2 271 Ft

Personality and the Fate of Organizations

Robert Hogan
77 387 Ft

Unspoken Word

Orlando Trevino
9 343 Ft

From the Beginning of Always

Bonnie Bachman
4 316 Ft

Ocean, the Forest, the Fields

Troy R Nelson
16 727 Ft

Environmental Quality

US Army Corps of Engineers
8 587 Ft

Self-Publishing 101

Debbie Elicksen
5 942 Ft

Top Ten Jazz Songs To Play On Piano

8 055 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

NoElle et Lui

Alban Bourdy
4 127 Ft

Gedichte in hochdeutscher und pfälzischer Mundart

Franz von Kobell
5 902 Ft

Pierre des fées du Maroc

4 086 Ft

Hemisferios

2 784 Ft

Conoce Peru

Robin Johnson
10 343 Ft

Differentialgeometrie, Topologie und Physik

Matthias Delbrück
29 859 Ft

Das fröhliche Weihnachtsliederheft

Renate Bruce-Weber
5 172 Ft

La hija del Ganges

Raluca Mirela Petrescu
3 027 Ft

Le système fiscal international : une construction conceptuelle et pragmatique

Giard
15 786 Ft

Přerušený klid - Islandská krimi

Arnaldur Indridason
4 329 Ft

Comme un mendiant sur les quais de marbre

Penblanc
8 731 Ft