Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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 phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Jim Davies
Libristo kód: 01657595
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2011
This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symp... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Manuel de psychologie clinique de la perinatalite Sylvain Missonnier / E-kniha Adobe ePub DRM
common.buy 833 Kč
ONE PIECE 97 (VO JAPONAIS) oda / Kniha Brožovaná
common.buy 304 Kč
Sinfonia alpestre Carlo Linati / E-kniha Adobe ePub DRM
common.buy 296 Kč
VAMPIRE KNIGHT Pearls 10 Matsuri Hino / Kniha Brožovaná
common.buy 208 Kč
LES MOUVEMENTS NATIONALISTES FRANCAIS 1920-1945 GUIMBERTEAU / Kniha Brožovaná
common.buy 1 423 Kč
La guineu Dubravka Ugresic / E-kniha Adobe ePub DRM
common.buy 400 Kč
Le Comte de Montefiasco, Ou La Repetition Generale d'Un Drame En 30 Actes Et 100 Tableaux PITTAUD DE FORGES-P- / Kniha Brožovaná
common.buy 293 Kč
Canzone della Strada, 1 Audio-CD uadro Nuevo / Audio Audio CD
common.buy 558 Kč
Giuseppe Verdi Und Das Risorgimento Ein Politischer Mythos Im Prozess Der Nationenbildung Birgit Pauls / Kniha Pevná
common.buy 2 724 Kč
Suche nach dem Sinn des Lebens Willigis Jäger / Kniha Kniha
common.buy 335 Kč
Entwicklung des verbalen Aspekts bei zweisprachigen russisch-deutschen Kindern Daria Rybalov / Kniha Brožovaná
common.buy 369 Kč

This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF§2010, held in Natal, Brazil, in November 2010.§The 18 revised full papers were carefully reviewed and selected from§55 submissions. The papers presented cover a broad range of foundational§and methodological issues in formal methods for the design and analysis§of software and hardware systems as well as applications in various§domains.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
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 Jim Davies, Leila Silva, Adenilso Simao
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 291
EAN 9783642198281
ISBN 3642198287
Libristo kód 01657595
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 448
Rozměry 155 x 235 x 19

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ý hardware > Hardware počítačových a informačních technologií: údržba a opravy
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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
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

Top
Oxford Read and Discover: Level 4: All About Plants Julie Penn / Kniha Brožovaná
common.buy 328 Kč
Biographical History of England, From Egbert the Great to the Revolution James 1723-1776 Granger / Kniha Brožovaná
common.buy 576 Kč
Sermons To The Young (1876) William Bruce / Kniha Brožovaná
common.buy 576 Kč
Yellowstone Yeti Craig Vroom / Kniha Pevná
common.buy 539 Kč
Massage for Busy People Dawn Groves / E-kniha Adobe ePub DRM
common.buy 140 Kč
Proceedings of 3rd International Conference on the Industry 4.0 Model for Advanced Manufacturing Jun Ni / Kniha Brožovaná
common.buy 3 532 Kč
Live Like Jesus CHRIS CREECH / Kniha Brožovaná
common.buy 330 Kč
Would You Like To Play With My Pussy? Gary Galvin / Kniha Brožovaná
common.buy 505 Kč
Lost In Hypertext: Intertextuality in the Television Show Lost Cari Lynn Vaughn / Kniha Brožovaná
common.buy 236 Kč
Emerson and Neo-Confucianism Y. Takanashi / Kniha Brožovaná
common.buy 1 223 Kč
Mount Whitney: The Complete Trailhead-To-Summit Guide Paul Richins / Kniha Brožovaná
common.buy 403 Kč
Introduction to the Study of English Literature Vida Dutton Scudder / Kniha Pevná
common.buy 924 Kč
Plutarch's Lives. in Six Volumes. Translated from the Greek. with Explanatory and Critical Notes, from Dacier and Others; And a Complete Index. to Whi Plutarch / Kniha Brožovaná
common.buy 695 Kč
Libraries Without Limits: Changing Needs - Changing Roles Suzanne Bakker / Kniha Pevná
common.buy 2 255 Kč
Virtue and Terror Maximilien Robespierre / Kniha Brožovaná
common.buy 453 Kč
Adobe Photoshop Lightroom Classic Classroom in a Book 2024 Release Rafael Concepcion / Kniha Brožovaná
common.buy 1 400 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?