Formal Methods in Programming and Their Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

International Conference, Academgorodok, Novosibirsk, Russia, June 28 – July 2,1993.Proceedings, Lecture Notes in Computer Science 735

ISBN: 354057316X
ISBN 13: 9783540573166
Herausgeber: Dines Bjørner/Manfred Broy/Igor V Pottosin
Verlag: Springer Verlag GmbH
Umfang: ix, 438 S.
Erscheinungsdatum: 05.10.1993
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1506215 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …