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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Jazyk AngličtinaAngličtina
E-kniha Adobe ePub DRM
E-kniha Formal Methods. FM 2019 International Workshops Emil Sekerinski
Libristo kód: 41007798
Nakladatelství Springer, srpen 2020
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu... Celý popis
? points 147 b
1 470 Kč
Skladem Ihned ke stažení

Zákazníci také koupili

Catalogue Des Lepidopteres Ou Papillons de la Belgique, Precede Du Tableau Des Libellulines DE SELYS-LONGCHAMPS- / Kniha Brožovaná
common.buy 315 Kč
Mon petit ami Genderless - Tome 3 - Tome 3 Tamekou / Kniha Brožovaná
common.buy 284 Kč
???? ? ???????????: ???????? ? ?????????? ?????? Tanis Helliwell / E-kniha Adobe ePub DRM
common.buy 186 Kč
Stress-Frei in 30 Tagen - Dein Anti-Burnout-Plan Richter Anna Richter / Audiokniha MP3
common.buy 75 Kč

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

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. FM 2019 International Workshops
Autor Emil Sekerinski, Nelma Moreira, Jose N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, Jose Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto
Jazyk Angličtina
Vazba E-kniha - Adobe ePub DRM
Datum vydání 2020
EAN 9783030549947
Libristo kód 41007798
Nakladatelství Springer

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
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 > Systémová analýza a systémový design
Výpočetní a informační technologie > Informační technologie: obecná témata
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

Walking Machines D. J. Todd / Kniha Brožovaná
common.buy 1 182 Kč
Beginner's Guide to Somatic Exercises for Nervous System Regulation Kathryn Bloom / Kniha Brožovaná
common.buy 392 Kč
Ancient Symbols From the Future Midjourney / Kniha Pevná
common.buy 3 358 Kč
Microsoft Power Platform Enterprise Architecture Rybaric Robert Rybaric / E-kniha Adobe ePub DRM
common.buy 871 Kč
Path of the Witch Lidia Pradas / E-kniha Adobe ePub DRM
common.buy 396 Kč
Doing Research in Social Work and Social Care Catherine Flynn / E-kniha Adobe ePub DRM
common.buy 1 111 Kč
Modern Theories and Practices for Cyber Ethics and Security Compliance Muttukrishnan Rajarajan / Kniha Pevná
common.buy 5 258 Kč
Mortal Beings Cynthia Trenshaw / Kniha Brožovaná
common.buy 359 Kč
Pitino Anonymous Anonymous / Kniha Pevná
common.buy 522 Kč
Through the Eyes of Frank Tumbolt GORDON DAVIS / Kniha Brožovaná
common.buy 401 Kč
Blackchurch Furnace NATHAN SINGER / Kniha Brožovaná
common.buy 341 Kč
Trinity Flight: The First Atomic Veterans of World War 2 Mark Woodbury / Kniha Brožovaná
common.buy 258 Kč
Low-Water High-Energy Weight Loss Ching H Wu / Kniha Brožovaná
common.buy 166 Kč
Europa! Europa? Sascha Bru / Kniha Pevná
common.buy 2 732 Kč
Return to the Cave of Time Edward Packard / Kniha Brožovaná
common.buy 168 Kč
Advanced Oxidation Processes for Water Treatment Mihaela I. Stefan / Kniha Brožovaná
common.buy 4 301 Kč
Finance Express Leo Gough / Kniha Brožovaná
common.buy 358 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?