Shusaku Iida – författare
Visar alla böcker från författaren Shusaku Iida. Handla med fri frakt och snabb leverans.
2 produkter
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Shusaku Iida, José Meseguer m. fl.
Häftad, 2014
566 kr
Lägg i varukorg
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 …
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Kazuhiro Ogata, Jose Meseguer m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
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 …
