Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... 2361 (Lecture Notes in Computer Science)
by Alfred Strohmeier,Johann Blieberger
ISBN 13: 9783540437840
Format: Paperback (384 pages) Publisher: Springer Published: 05 Jun 2002
Save for later
Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June ... 10300 (Lecture Notes in Computer Science)
by Markus Bader, Johann Blieberger
ISBN 13: 9783319605876
Format: Paperback (268 pages) Publisher: Springer Published: 30 May 2017
Symbolic Analysis: An Algebra-based Approach
by Bernd Burgstaller,Bernhard Scholz,Johann Blieberger
ISBN 13: 9783836481427
Format: Paperback (168 pages) Publisher: VDM Verlag Dr. Müller Published: 31 Mar 2008