This book constitutes the proceedings of the Third International Conference on Abstract State Mac...
Refinement is one of the cornerstones of the formal approach to software engineering, and its ...
Was Dinosaurier alles konnten!Willkommen in der verrückten Urzeit! Dieses Buch liefert die vo...
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Net...
Refinement is one of the cornerstones of the formal approach to software engineering, and its use...
This book constitutes the refereed proceedings of the 9th International Conference on Integrated ...
Refinement is one of the cornerstones of the formal approach to software engineering, and its use...
The Miscellaneous Works of John Dryden, Esq. - Containing all his original poems, tales, and tran...
Miscellaneous Works of John Dryden - Containing all his original poems, tales, and translations, ...
Miscellaneous Works of John Dryden - Vol. 2 is an unchanged, high-quality reprint of the original...
Miscellaneous Works of John Dryden - Vol. 1 is an unchanged, high-quality reprint of the original...
This volume of John Dryden's miscellaneous works offers a captivating glimpse into his diverse li...