(FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE: INTERNATIONAL CONFERENCE, FOVEOOS 2010, PARIS, FRANCE, JUNE 28-30, 2010, REVISED SELECTED PAPERS (EDI) BY Paperback (Author) Paperback Published on (03 , 2011)

VERIFICATION

von Bernhard Kramer

Taschenbuch

ISBN-13: 978-3-642-18071-2

ISBN-10: 3-642-18071-X

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG · 2011
Siehe auch (möglicherweise von anderen Autoren):
 Taschenbuch(THE EVOLUTION OF CONCEPTUAL MODELING: FROM A HISTORICAL PERSPECTIVE TOWARDS THE FUTURE OF CONCEPTUAL MODELING) BY paperback (Author) paperback Published on (03 , 2011)