topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
ISBN: 9783030713737 / Angielski / Miękka / 2021 / 227 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
195,42 zł |
 |
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Sefm 2012 Satellite Events, Insuedu, Mokmasd, and
ISBN: 9783642543371 / Angielski / Miękka / 2014 / 305 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers...
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation ...
|
cena:
195,42 zł |
 |
Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-Cps, and Foclasa, Trento, Italy, September 4-5, 20
ISBN: 9783319747804 / Angielski / Miękka / 2018 / 592 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Fo...
|
cena:
289,28 zł |
 |
Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise
ISBN: 9783031124280 / Angielski / Miękka / 2022 / 350 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of...
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and ...
|
cena:
195,42 zł |
 |
Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
ISBN: 9783030853143 / Angielski / Miękka / 2021 / 390 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
293,15 zł |
 |
Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
ISBN: 9783030587673 / Angielski / Miękka / 2020 / 325 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
214,97 zł |
 |
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
ISBN: 9783642232824 / Angielski / Miękka / 2011 / 267 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software,... This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesbur...
|
cena:
195,42 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
