Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

phone

Kontakt

phone

Pomoc

Můj účet

▸ Prázdný :-(

0

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Kniha 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

Marcel Vinícius Medeiros Oliveira

Jazyk

Angličtina

Kniha Brožovaná

Kniha Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira

Libristo kód: 01655091

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2009

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Celý popis

Libristo kód: 01655091

?

points

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

NoElle et Lui Alban Bourdy

/

Brožovaná

249 Kč

Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell

/

Brožovaná

413 Kč

Pierre des fées du Maroc

/

binding.

286 Kč

Hemisferios

/

Kniha

195 Kč

Conoce Peru Robin Johnson

/

Pevná

629 Kč

Differentialgeometrie, Topologie und Physik Matthias Delbrück

/

Pevná

1 870 Kč

Das fröhliche Weihnachtsliederheft Renate Bruce-Weber

/

Noty

309 Kč

La hija del Ganges Raluca Mirela Petrescu

/

Adobe ePub DRM

212 Kč

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

/

Brožovaná

942 Kč

Přerušený klid - Islandská krimi Arnaldur Indridason

/

Pevná

295 Kč

Comme un mendiant sur les quais de marbre Penblanc

/

Brožovaná

611 Kč

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.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Ewa Kasp

Ewa Kasp

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods: Foundations and Applications

Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2009

Počet stran 351

EAN 9783642104510

ISBN 3642104517

Libristo kód 01655091

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 557

Rozměry 155 x 235 x 20

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Operační systémy

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

A General View of Positivism Auguste Comte

/

Brožovaná

651 Kč

Microserfs & Girlfriend in a Coma Douglas Coupland

/

MP3

284 Kč

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

/

Brožovaná

1 290 Kč

Pedagogies for the Post-Anthropocene Esther Priyadharshini

/

Pevná

2 592 Kč

First Poems Wildie Thayer

/

Brožovaná

576 Kč

Adventures with Annie Coloring Book Misty Marksberry Merideth

/

Brožovaná

175 Kč

Taylor's STEM Adventures: Hawaii Mary Payton

/

Pevná

414 Kč

Book of Hours: The Beguilement of Brother Alphaios J S Anderson

/

Brožovaná

361 Kč

Generalist Case Management Workbook Marianne Woodside

/

Brožovaná

1 863 Kč

Stock Market Trivia Fred Fuld III

/

Brožovaná

444 Kč

A House Made of Stars Tawnysha Greene

/

Brožovaná

402 Kč

The Law of electric Wires in Streets and Highways Edward Quinton Keasbey

/

Brožovaná

429 Kč

USN Battleship vs IJN Battleship Mark Stille

/

Brožovaná

413 Kč

ValueSelling Julie Thomas

/

Brožovaná

402 Kč

Bankers Shane Ross

/

Brožovaná

610 Kč

Chester Cello Fingering Chart David (University of Toronto) Harrison

/

Brožovaná

144 Kč

Personality and the Fate of Organizations Robert Hogan

/

Pevná

4 835 Kč

Unspoken Word Orlando Trevino

/

Brožovaná

557 Kč

From the Beginning of Always Bonnie Bachman

/

Brožovaná

257 Kč

Ocean, the Forest, the Fields Troy R Nelson

/

Pevná

1 034 Kč

Environmental Quality US Army Corps of Engineers

/

Brožovaná

539 Kč

Self-Publishing 101 Debbie Elicksen

/

Brožovaná

361 Kč

Top Ten Jazz Songs To Play On Piano

/

Brožovaná

564 Kč

Knižní rádce Libroamiko

Ahoj, jsem Libroamiko, můžu pomoct?