wyszukanych pozycji: 3
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016,
ISBN: 9783319478456 / Angielski / Miękka / 2016 / 486 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, i...
|
|
cena:
196,31 zł |
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
ISBN: 9783642546235 / Angielski / Miękka / 2014 / 657 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This...
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal...
|
|
cena:
196,31 zł |
Rewriting Logic and Its Applications: 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
ISBN: 9783031659409 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
227,72 zł |