Tools

LEADER 01533cam 2200385 a 4500

001 ocm15631224;

005 20141212014528.0;

008 870303s1987 wb a b 100 0 eng ;

010 a| 87004717;

020 a| 0387176543 (U.S. : pbk.);

035 a| (Sirsi) o15631224;

035 a| (OCoLC)15631224;

040 a| DLCc| DLCd| EREd| UtOrBLW;

043 a| e------;

049 a| EREE;

050 00 a| QA76.76.D47b| V85 1987;

082 0 a| 005.12| 19;

245 00 a| VDM '87 :b| VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /c| edited by D. Bjørner [and others].;

300 a| ix, 422 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 252;

504 a| Includes bibliographies.;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

650 0 a| Computer software industryz| European Economic Community countriesv| Congresses.=| ^A279955;

700 1 a| Bjørner, D.q| (Dines),d| 1937-=| ^A145602;

710 2 a| VDM-Europe.=| ^A213822;

740 0 a| VDM, a formal method at work.;

830 0 a| Lecture notes in computer sciencev| 252.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 295829;

999 a| QA76.76.D47 V85 1987w| LCc| 1i| 30372004396096d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/2/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner [and others].

Other author	Bjørner, D. (Dines), 1937-
Other author	VDM-Europe.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1987.
Description	ix, 422 pages : illustrations ; 24 cm.
Subjects	Computer software--Development. --Congresses. Computer software industry--European Economic Community countries. --Congresses.

Series	Lecture notes in computer science ; 252 Lecture notes in computer science 252. ^A466336
Bibliography note	Includes bibliographies.
Other title	VDM, a formal method at work.
LCCN	87004717
ISBN	0387176543 (U.S. : pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 V85 1987	✔ Available	Place Hold

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner [and others].

Click here for more information about this title

Availability