Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods: Foundations and Applications

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Codul Libristo: 01655091
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Descrierea completă
? points 141 b
306.69 lei
În depozitul extern în cantități mici Expediem în 11-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

NoElle et Lui Alban Bourdy / Carte Carte broșată
common.buy 106.01 lei
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Carte Carte broșată
common.buy 89.55 lei
Pierre des fées du Maroc / Carte binding.
common.buy 62.06 lei
Hemisferios / Carte Carte
common.buy 42.27 lei
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Carte Copertă tare
common.buy 453.22 lei
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Materiale tipărite Note muzicale
common.buy 113.61 lei
La hija del Ganges Raluca Mirela Petrescu / E-book Adobe ePub DRM
common.buy 45.92 lei
Conoce Peru Robin Johnson / Carte Copertă tare
common.buy 152.24 lei
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Carte Carte broșată
common.buy 231.60 lei
Přerušený klid - Islandská krimi Arnaldur Indridason / Carte Copertă tare
common.buy 67.27 lei
Curând
Comme un mendiant sur les quais de marbre Penblanc / Carte Carte broșată
common.buy 132.46 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Methods: Foundations and Applications
Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 351
EAN 9783642104510
ISBN 3642104517
Codul Libristo 01655091
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 557
Dimensiuni 155 x 235 x 20

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
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
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

A General View of Positivism Auguste Comte / Carte Carte broșată
common.buy 156.31 lei
Microserfs & Girlfriend in a Coma Douglas Coupland / Audiobook MP3
common.buy 61.85 lei
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 / Carte Carte broșată
common.buy 309.29 lei
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Carte Copertă tare
common.buy 654.32 lei
First Poems Wildie Thayer / Carte Carte broșată
common.buy 137.67 lei
Adventures with Annie Coloring Book Misty Marksberry Merideth / Carte Carte broșată
common.buy 42.06 lei
Taylor's STEM Adventures: Hawaii Mary Payton / Carte Copertă tare
common.buy 97.57 lei
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Carte Carte broșată
common.buy 86.74 lei
Generalist Case Management Workbook Marianne Woodside / Carte Carte broșată
common.buy 442.39 lei
Stock Market Trivia Fred Fuld III / Carte Carte broșată
common.buy 106.42 lei
A House Made of Stars Tawnysha Greene / Carte Carte broșată
common.buy 96.11 lei
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Carte Carte broșată
common.buy 114.96 lei
Top Ten Jazz Songs To Play On Piano / Carte Carte broșată
common.buy 122.36 lei
Self-Publishing 101 Debbie Elicksen / Carte Carte broșată
common.buy 87.36 lei
ValueSelling Julie Thomas / Carte Carte broșată
common.buy 96.11 lei
Bankers Shane Ross / Carte Carte broșată
common.buy 95.59 lei
Chester Cello Fingering Chart David (University of Toronto) Harrison / Carte Carte broșată
common.buy 33.42 lei
Personality and the Fate of Organizations Robert Hogan / Carte Copertă tare
common.buy 1 145.76 lei
Unspoken Word Orlando Trevino / Carte Carte broșată
common.buy 137.04 lei
From the Beginning of Always Bonnie Bachman / Carte Carte broșată
common.buy 63.31 lei
Twenty-Five Years of Emigrant Life in the South of New Zealand. with a Map Adam / Carte Carte broșată
common.buy 121.00 lei
Ocean, the Forest, the Fields Troy R Nelson / Carte Copertă tare
common.buy 247.02 lei
Environmental Quality US Army Corps of Engineers / Carte Carte broșată
common.buy 127.25 lei
USN Battleship vs IJN Battleship Mark Stille / Carte Carte broșată
common.buy 107.57 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?