Shop : Link
Shop
Link
April 1999
New publication
Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht
Keywords: Informatik; Software-Technik; Software-Entwicklung; Formale Methoden; sichere Systeme
Link to the book
Simply copy the following lines into your HTML document:
The book <a href="https://www.shaker.eu/shop/978-3-8265-3656-4">Bernd Krieg-Brückner - UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht</a><br />(ISBN: 978-3-8265-3656-4) was published by <a href="https://www.shaker.eu">Shaker Verlag</a>.
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht</a><br />(ISBN: 978-3-8265-3656-4) was published by <a href="https://www.shaker.eu">Shaker Verlag</a>.
Result:
The book Bernd Krieg-Brückner - UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht
(ISBN: 978-3-8265-3656-4) was published by Shaker Verlag.
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht
(ISBN: 978-3-8265-3656-4) was published by Shaker Verlag.
Link to the series
Simply copy the following lines into your HTML document:
The series <a href="https://www.shaker.eu/Series/141">BISS Monographs</a> is published by <a href="https://www.shaker.eu">Shaker Verlag</a>.
Result:
The series BISS Monographs
is published by Shaker Verlag.
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
Am Langen Graben 15a
52353 Düren
Germany
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
