Jose-Manuel Colom 著
This book constitutes the refereed proceedings of the 22nd Internationa…
可购
Claus Fieker 著
This book constitutes the refereed proceedings of the 5th International…
可购
Kokichi Futatsugi 著
Joseph Goguen is one of the most prominent computer scientists worldwid…
可购
Susanna Donatelli，P.S. Thiagarajan 著…
This book constitutes the refereed proceedings of the 27th Internationa…
可购
Javier Esparza 著
This book constitutes the refereed proceedings of the 23rd Internationa…
可购
Andrea Corradini 著
This book constitutes the refereed proceedings of the Third Internation…
可购
Oscar H. Ibarra 著
This book constitutes the refereed proceedings of the 8th Annual Intern…
可购
Markus Müller-Olm 著
Program analysis is concerned with techniques that automatically determ…
可购
鄂公网安备 42010302001612号 