ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Secondary Author
Brinksma, Ed
Katoen, Joost-Pieter
Langerak, Rom
Rensink, Arend
Country
Suiça.
Publication
Cham : Springer, cop. 2017
Description
XII, 389, [1] p. :
il. ;
24 cm
Series
Lecture notes in computer science , 10500 , 0302-9743
ISBN
978-3-319-68269-3
CDU
681.3
519.6
510.6
There are no comments for this item.