Del 252

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Häftad, Engelska, 1987

Av Dines Bjorner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold, Dines Bjørner

729 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum1987-03-11
  • Mått155 x 235 x 24 mm
  • Vikt657 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor422
  • Upplaga1987
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540176541

Tillhör följande kategorier

Du kanske också är intresserad av

VDM '90. VDM and Z - Formal Methods in Software Development
Del 428

VDM '90. VDM and Z - Formal Methods in Software Development

Dines Bjorner, C. A. R. Hoare, Hans Langmaack, Dines Bjørner, C. a. R. Hoare, C.A.R. Hoare

729 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Bea Uusma

399 kr579 kr

Towards a Formal Description of Ada
Del 98

Towards a Formal Description of Ada

Dines Bjorner, O. N. Oest, D. Bjorner, D Bjorner, O.N. Oest

1 449 kr

Vitön : den fristående fortsättningen på Expeditionen
  • Nyhet

Vitön : den fristående fortsättningen på Expeditionen

Bea Uusma

399 kr

Den juligaste av jular : en berättelse i 24 kapitel
  • Nyhet

Den juligaste av jular : en berättelse i 24 kapitel

Callum Bloodworth

239 kr259 kr

Trackside
  • Nyhet

Trackside

Erik Stenborg, Janne Blomqvist, Marcus Eriksson

349 kr

Den tysta patienten

Den tysta patienten

Alex Michaelides

125 kr

Computer Science and Its Applications
Del 456

Computer Science and Its Applications

Abdelmalek Amine, Ladjel Bellatreche, Zakaria Elberrichi, Erich J. Neuhold, Robert Wrembel

1 449 kr

Formal Techniques for Data Base Design

Formal Techniques for Data Base Design

Antonio L. Furtado, Erich J. Neuhold

729 kr