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

Den yttersta hemligheten
Del 6

Den yttersta hemligheten

Dan Brown

289 kr329 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 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

Jul med guldkant
  • Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

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

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

Bea Uusma

399 kr579 kr

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

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

Bea Uusma

399 kr

Kafé Pumpkin Spice
  • Nyhet
Del 1

Kafé Pumpkin Spice

Laurie Gilmore

79 kr125 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