Tools

LEADER 01362cam 2200361 a 4500

001 ocm28851396;

003 OCoLC;

005 20141212113117.0;

008 930901s1993 gw a 000 0 eng ;

010 a| 93021317;

020 a| 354057316X :c| DM 80;

020 a| 038757316X (U.S.);

035 a| (Sirsi) o28851396;

035 a| (OCoLC)28851396;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.6b| .F577 1993;

082 00 a| 005.12| 20;

245 00 a| Formal methods in programming and their applications :b| international conference, Academgorodok, Russia, June/July 1993 : proceedings /c| Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.;

300 a| ix, 433 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| 735;

650 0 a| Computer programming.=| ^A33242;

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

700 1 a| Broy, M.,d| 1949-=| ^A221212;

700 1 a| Pottosin, I. V.=| ^A349352;

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

596 a| 1;

998 a| 551984;

999 a| QA76.6 .F577 1993w| LCc| 1i| 30372008372945d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/9/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.

Other author	Bjørner, D. (Dines), 1937-
Other author	Broy, M., 1949-
Other author	Pottosin, I. V.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	ix, 433 pages : illustrations ; 24 cm.
Subjects	Computer programming.

Series	Lecture notes in computer science ; 735 Lecture notes in computer science 735. ^A466336
LCCN	93021317
ISBN	354057316X :
ISBN	038757316X (U.S.)

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.

Click here for more information about this title