-Vaiana (USA 2016, 103 Min., FSK 0):Vor Jahrtausenden segelten die größten Seefahrer der Welt d...

-Vaiana (USA 2016, 107 Min., FSK 0):Vor Jahrtausenden segelten die größten Seefahrer der Welt d...

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

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...

The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...

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...

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

'Has such a range of genres that you can't pigeon hole it into one, therefore it held my attentio...

Originally published in 2002, this book presents techniques in the application of formal methods ...