A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Formal Methods: Foundations and Applications

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Libristo kód: 01655091
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Teljes leírás
? points 125 b
18 708 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Differentialgeometrie, Topologie und Physik Matthias Delbrück / Könyv Kemény kötésű
common.buy 31 261 Ft
Hamarosan
Comme un mendiant sur les quais de marbre Penblanc / Könyv Puha kötésű
common.buy 9 071 Ft
Přerušený klid - Islandská krimi Arnaldur Indridason / Könyv Kemény kötésű
common.buy 4 370 Ft
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Könyv Puha kötésű
common.buy 16 537 Ft
Courir David Simpson / Könyv Kemény kötésű
common.buy 12 001 Ft
Conoce Peru Robin Johnson / Könyv Kemény kötésű
common.buy 10 836 Ft
La hija del Ganges Raluca Mirela Petrescu / E-könyv Adobe ePub DRM
common.buy 3 172 Ft
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Nyomtatványok Kotta
common.buy 4 922 Ft
Hemisferios / Könyv Könyv
common.buy 2 633 Ft
Pierre des fées du Maroc / Könyv binding.
common.buy 4 219 Ft
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Könyv Puha kötésű
common.buy 6 164 Ft
NoElle et Lui Alban Bourdy / Könyv Puha kötésű
common.buy 3 950 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Formal Methods: Foundations and Applications
Szerző Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2009
Oldalszám 351
EAN 9783642104510
ISBN 3642104517
Libristo kód 01655091
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 557
Méretek 155 x 235 x 20

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Információépítészet
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

A General View of Positivism Auguste Comte / Könyv Puha kötésű
common.buy 11 105 Ft
Microserfs & Girlfriend in a Coma Douglas Coupland / Hangoskönyv MP3
common.buy 4 309 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 / Könyv Puha kötésű
common.buy 21 327 Ft
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Könyv Kemény kötésű
common.buy 41 007 Ft
First Poems Wildie Thayer / Könyv Puha kötésű
common.buy 9 774 Ft
Adventures with Annie Coloring Book Misty Marksberry Merideth / Könyv Puha kötésű
common.buy 2 978 Ft
Taylor's STEM Adventures: Hawaii Mary Payton / Könyv Kemény kötésű
common.buy 6 900 Ft
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Könyv Puha kötésű
common.buy 6 149 Ft
Generalist Case Management Workbook Marianne Woodside / Könyv Puha kötésű
common.buy 31 323 Ft
Stock Market Trivia Fred Fuld III / Könyv Puha kötésű
common.buy 7 575 Ft
A House Made of Stars Tawnysha Greene / Könyv Puha kötésű
common.buy 6 810 Ft
The Law of electric Wires in Streets and Highways Edward Quinton Keasbey / Könyv Puha kötésű
common.buy 6 824 Ft
Top Ten Jazz Songs To Play On Piano / Könyv Puha kötésű
common.buy 8 349 Ft
Self-Publishing 101 Debbie Elicksen / Könyv Puha kötésű
common.buy 6 225 Ft
ValueSelling Julie Thomas / Könyv Puha kötésű
common.buy 6 810 Ft
Bankers Shane Ross / Könyv Puha kötésű
common.buy 9 562 Ft
Chester Cello Fingering Chart David (University of Toronto) Harrison / Könyv Puha kötésű
common.buy 2 379 Ft
Personality and the Fate of Organizations Robert Hogan / Könyv Kemény kötésű
common.buy 81 070 Ft
Unspoken Word Orlando Trevino / Könyv Puha kötésű
common.buy 9 788 Ft
USN Battleship vs IJN Battleship Mark Stille / Könyv Puha kötésű
common.buy 7 409 Ft
Twenty-Five Years of Emigrant Life in the South of New Zealand. with a Map Adam / Könyv Puha kötésű
common.buy 8 589 Ft
Ocean, the Forest, the Fields Troy R Nelson / Könyv Kemény kötésű
common.buy 17 523 Ft
Environmental Quality US Army Corps of Engineers / Könyv Puha kötésű
common.buy 8 995 Ft
From the Beginning of Always Bonnie Bachman / Könyv Puha kötésű
common.buy 3 577 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?