Unser bisheriger Preis:ORGPRICE: 81,99 €
This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engi...
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyo...
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engin...
Presenting the latest technological developments in arts and culture, this volume demonstrates th...
This volume contains lectures on leading-edge research in methods and tools for use in computer ...
The last decade has witnessed a modest but sustained increase in researching and applying formal ...
1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in t...
This book constitutes the refereed proceedings of the First International Conference of Abstract ...
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and...
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes re...