Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped…
Mehr
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Broy, Manfred (Hrsg.) / Pottosin, Igor V. (Hrsg.)
- ISBN: 978-3-540-57316-6
- EAN: 9783540573166
- Produktnummer: 3291772
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 452 S.
- Masse: H23.5 cm x B15.4 cm x D2.6 cm 574 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 574
10 weitere Werke von Dines (Hrsg.) Bjørner:
Bewertungen
Anmelden