topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Theoretical Aspects of Computing - Ictac 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ISBN: 9783319677286 / Angielski / Miękka / 2017 / 305 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions.
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vi...
|
cena:
192,74 zł |
 |
Specification Case Studies in Raise
ISBN: 9781852333591 / Angielski / Miękka / 2002 / 405 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built....
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and ap...
|
cena:
385,52 zł |
 |
Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
ISBN: 9783319024431 / Angielski / Miękka / 2013 / 528 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and...
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, h...
|
cena:
192,74 zł |
 |
Distributed Computing and Internet Technology: 16th International Conference, Icdcit 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings
ISBN: 9783030369866 / Angielski / Miękka / 2019 / 438 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
308,41 zł |
 |
Theoretical Aspects of Computing - Ictac 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
ISBN: 9783540291077 / Angielski / Miękka / 2005 / 618 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17 21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from...
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took pl...
|
cena:
385,52 zł |
 |
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
ISBN: 9783030591519 / Angielski / Miękka / 2020 / 574 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,74 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
