Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2011
This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symp... Celý popis
? points 135 b
55.93 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Manuel de psychologie clinique de la perinatalite Sylvain Missonnier / E-kniha Adobe ePub DRM
common.buy 34.24 €
ONE PIECE 97 (VO JAPONAIS) oda / Kniha Brožovaná
common.buy 23.30 €
Sinfonia alpestre Carlo Linati / E-kniha Adobe ePub DRM
common.buy 12.15 €
VAMPIRE KNIGHT Pearls 10 Matsuri Hino / Kniha Brožovaná
common.buy 9.11 €
LES MOUVEMENTS NATIONALISTES FRANCAIS 1920-1945 GUIMBERTEAU / Kniha Brožovaná
common.buy 58.67 €
La guineu Dubravka Ugresic / E-kniha Adobe ePub DRM
common.buy 16.51 €
Vie De M. Grosley (1787) Pierre Jean Grosley / Kniha Brožovaná
common.buy 36.47 €
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 12.15 €
Canzone della Strada, 1 Audio-CD uadro Nuevo / Audio Audio CD
common.buy 24.21 €
Giuseppe Verdi Und Das Risorgimento Ein Politischer Mythos Im Prozess Der Nationenbildung Birgit Pauls / Kniha Pevná
common.buy 112.79 €
Suche nach dem Sinn des Lebens Willigis Jäger / Kniha Kniha
common.buy 14.79 €
Entwicklung des verbalen Aspekts bei zweisprachigen russisch-deutschen Kindern Daria Rybalov / Kniha Brožovaná
common.buy 16.21 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods: Foundations and Applications
Autor Jim Davies, Leila Silva, Adenilso Simao
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 291
EAN 9783642198281
ISBN 3642198287
Libristo kód 01657595
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 448
Rozmery 155 x 235 x 19

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Top
Oxford Read and Discover: Level 4: All About Plants Julie Penn / Kniha Brožovaná
common.buy 12.96 €
Biographical History of England, From Egbert the Great to the Revolution James 1723-1776 Granger / Kniha Brožovaná
common.buy 23.81 €
Sermons To The Young (1876) William Bruce / Kniha Brožovaná
common.buy 23.81 €
Yellowstone Yeti Craig Vroom / Kniha Pevná
common.buy 22.29 €
Massage for Busy People Dawn Groves / E-kniha Adobe ePub DRM
common.buy 5.77 €
Proceedings of 3rd International Conference on the Industry 4.0 Model for Advanced Manufacturing Jun Ni / Kniha Brožovaná
common.buy 154.64 €
Live Like Jesus CHRIS CREECH / Kniha Brožovaná
common.buy 13.67 €
Would You Like To Play With My Pussy? Gary Galvin / Kniha Brožovaná
common.buy 20.87 €
Lost In Hypertext: Intertextuality in the Television Show Lost Cari Lynn Vaughn / Kniha Brožovaná
common.buy 9.72 €
Emerson and Neo-Confucianism Y. Takanashi / Kniha Brožovaná
common.buy 55.93 €
Mount Whitney: The Complete Trailhead-To-Summit Guide Paul Richins / Kniha Brožovaná
common.buy 17.62 €
Introduction to the Study of English Literature Vida Dutton Scudder / Kniha Pevná
common.buy 38.30 €
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 30.49 €
Libraries Without Limits: Changing Needs - Changing Roles Suzanne Bakker / Kniha Pevná
common.buy 98.30 €
Virtue and Terror Maximilien Robespierre / Kniha Brožovaná
common.buy 19.95 €
Adobe Photoshop Lightroom Classic Classroom in a Book 2024 Release Rafael Concepcion / Kniha Brožovaná
common.buy 66.07 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?