Was Dinosaurier alles konnten!Willkommen in der verrückten Urzeit! Dieses Buch liefert die vo...

Refinement is one of the cornerstones of the formal approach to software engineering, and its use...

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 - Vol. 2 is an unchanged, high-quality reprint of the original...

Miscellaneous Works of John Dryden - Vol. 4 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 book constitutes the proceedings of the Third International Conference on Abstract State Mac...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated ...

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Net...

Miscellaneous Works of John Dryden - Containing all his original poems, tales, and translations, ...

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is...