Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods: Foundations and Applications

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Libristo kod: 01655091
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, studeni 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

NoElle et Lui Alban Bourdy / Knjiga Meki uvez
common.buy 10.92 €
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Knjiga Meki uvez
common.buy 16.07 €
Pierre des fées du Maroc / Knjiga binding.
common.buy 11.32 €
Hemisferios / Knjiga Knjiga
common.buy 7.68 €
Conoce Peru Robin Johnson / Knjiga Tvrdi uvez
common.buy 27.50 €
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Knjiga Tvrdi uvez
common.buy 81.83 €
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Tiskanica Note
common.buy 13.54 €
La hija del Ganges Raluca Mirela Petrescu / E-knjiga Adobe ePub DRM
common.buy 8.28 €
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Knjiga Meki uvez
common.buy 41.57 €
Přerušený klid - Islandská krimi Arnaldur Indridason / Knjiga Tvrdi uvez
common.buy 12.03 €
Pripremamo
Comme un mendiant sur les quais de marbre Penblanc / Knjiga Meki uvez
common.buy 24.17 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods: Foundations and Applications
Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 351
EAN 9783642104510
ISBN 3642104517
Libristo kod 01655091
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 557
Dimenzije 155 x 235 x 20

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

A General View of Positivism Auguste Comte / Knjiga Meki uvez
common.buy 28.31 €
Microserfs & Girlfriend in a Coma Douglas Coupland / Audio knjiga MP3
common.buy 11.12 €
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 / Knjiga Meki uvez
common.buy 56.13 €
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Knjiga Tvrdi uvez
common.buy 113.29 €
First Poems Wildie Thayer / Knjiga Meki uvez
common.buy 25.08 €
Adventures with Annie Coloring Book Misty Marksberry Merideth / Knjiga Meki uvez
common.buy 7.58 €
Taylor's STEM Adventures: Hawaii Mary Payton / Knjiga Tvrdi uvez
common.buy 17.89 €
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Knjiga Meki uvez
common.buy 15.67 €
Generalist Case Management Workbook Marianne Woodside / Knjiga Meki uvez
common.buy 80.61 €
Stock Market Trivia Fred Fuld III / Knjiga Meki uvez
common.buy 19.31 €
A House Made of Stars Tawnysha Greene / Knjiga Meki uvez
common.buy 17.39 €
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Knjiga Meki uvez
common.buy 18.81 €
USN Battleship vs IJN Battleship Mark Stille / Knjiga Meki uvez
common.buy 19.31 €
ValueSelling Julie Thomas / Knjiga Meki uvez
common.buy 17.39 €
Bankers Shane Ross / Knjiga Meki uvez
common.buy 26.39 €
Chester Cello Fingering Chart David (University of Toronto) Harrison / Knjiga Meki uvez
common.buy 5.96 €
Personality and the Fate of Organizations Robert Hogan / Knjiga Tvrdi uvez
common.buy 209.08 €
Unspoken Word Orlando Trevino / Knjiga Meki uvez
common.buy 24.57 €
From the Beginning of Always Bonnie Bachman / Knjiga Meki uvez
common.buy 11.32 €
Ocean, the Forest, the Fields Troy R Nelson / Knjiga Tvrdi uvez
common.buy 44.90 €
Environmental Quality US Army Corps of Engineers / Knjiga Meki uvez
common.buy 23.26 €
Self-Publishing 101 Debbie Elicksen / Knjiga Meki uvez
common.buy 15.77 €
Top Ten Jazz Songs To Play On Piano / Knjiga Meki uvez
common.buy 22.24 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?