Tools

LEADER 01248cam 2200313 a 4500

005 20141212121355.0;

008 950615s1995 enka b 001 0 eng ;

010 a| 95032281;

020 a| 3540199780 (Springer-Verlag Berlin Heidelberg New York : pbk. : acid-free paper);

035 a| (Sirsi) o32778376;

035 a| (OCoLC)32778376;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.64b| .L363 1995;

082 00 a| 005.1/12| 20;

100 1 a| Lano, K.=| ^A349801;

245 10 a| Formal object-oriented development /c| K. Lano.;

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

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Formal approaches to computing and information technology;

504 a| Includes bibliographical references (p. [318]-331) and index.;

650 0 a| Object-oriented programming (Computer science)=| ^A227089;

830 0 a| Formal approaches to computing and information technology.=| ^A347520;

596 a| 1;

998 a| 592743;

999 a| QA76.64 .L363 1995w| LCc| 1i| 30372009408540d| 2/13/2013e| 4/20/2002f| 2/13/2013g| 1l| JGESm| JOYNERn| 2r| Ys| Yt| JGESBKu| 4/23/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Formal object-oriented development / K. Lano.

Author/creator	Lano, K.
Format	Book
Publication Info	London ; New York : Springer, ©1995.
Description	422 pages : illustrations ; 24 cm.
Subjects	Object-oriented programming (Computer science)

Series	Formal approaches to computing and information technology Formal approaches to computing and information technology. ^A347520
Bibliography note	Includes bibliographical references (p. [318]-331) and index.
LCCN	95032281
ISBN	3540199780 (Springer-Verlag Berlin Heidelberg New York : pbk. : acid-free paper)

Formal object-oriented development / K. Lano.

Click here for more information about this title