Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods: Foundations and Applications

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Kod Libristo: 01655091
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Cały opis
? points 125 b
219.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

NoElle et Lui Alban Bourdy / Książka Miękka
common.buy 46.41 zł
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Książka Miękka
common.buy 72.58 zł
Pierre des fées du Maroc / Książka binding.
common.buy 50.23 zł
Hemisferios / Książka Książka
common.buy 34.22 zł
Conoce Peru Robin Johnson / Książka Twarda
common.buy 117.09 zł
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Książka Twarda
common.buy 347.96 zł
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Prasa Nuty
common.buy 57.78 zł
La hija del Ganges Raluca Mirela Petrescu / E-book Adobe ePub DRM
common.buy 37.24 zł
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Książka Miękka
common.buy 176.59 zł
Přerušený klid - Islandská krimi Arnaldur Indridason / Książka Twarda
common.buy 51.34 zł
Zapowiedź
Comme un mendiant sur les quais de marbre Penblanc / Książka Miękka
common.buy 107.42 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods: Foundations and Applications
Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 351
EAN 9783642104510
ISBN 3642104517
Kod Libristo 01655091
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 557
Wymiary 155 x 235 x 20

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

A General View of Positivism Auguste Comte / Książka Miękka
common.buy 120.51 zł
Microserfs & Girlfriend in a Coma Douglas Coupland / Audiobook MP3
common.buy 49.93 zł
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 / Książka Miękka
common.buy 238.62 zł
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Książka Twarda
common.buy 481.57 zł
First Poems Wildie Thayer / Książka Miękka
common.buy 106.51 zł
Adventures with Annie Coloring Book Misty Marksberry Merideth / Książka Miękka
common.buy 32.31 zł
Taylor's STEM Adventures: Hawaii Mary Payton / Książka Twarda
common.buy 75.91 zł
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Książka Miękka
common.buy 66.75 zł
Generalist Case Management Workbook Marianne Woodside / Książka Miękka
common.buy 342.82 zł
Stock Market Trivia Fred Fuld III / Książka Miękka
common.buy 82.05 zł
A House Made of Stars Tawnysha Greene / Książka Miękka
common.buy 74.20 zł
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Książka Miękka
common.buy 80.14 zł
USN Battleship vs IJN Battleship Mark Stille / Książka Miękka
common.buy 82.25 zł
ValueSelling Julie Thomas / Książka Miękka
common.buy 74.20 zł
Bankers Shane Ross / Książka Miękka
common.buy 112.25 zł
Chester Cello Fingering Chart David (University of Toronto) Harrison / Książka Miękka
common.buy 27.07 zł
Personality and the Fate of Organizations Robert Hogan / Książka Twarda
common.buy 889.14 zł
Unspoken Word Orlando Trevino / Książka Miękka
common.buy 104.40 zł
From the Beginning of Always Bonnie Bachman / Książka Miękka
common.buy 48.12 zł
Ocean, the Forest, the Fields Troy R Nelson / Książka Twarda
common.buy 190.99 zł
Environmental Quality US Army Corps of Engineers / Książka Miękka
common.buy 98.96 zł
Self-Publishing 101 Debbie Elicksen / Książka Miękka
common.buy 67.15 zł
Top Ten Jazz Songs To Play On Piano / Książka Miękka
common.buy 99.07 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?