Tools

LEADER 01855cam a2200409 a 4500

005 20141212122642.0;

008 960222s1996 gw a b 100 0 eng ;

010 a| 96010788;

015 a| GB96-56201;

019 a| 35207860;

020 a| 3540609474 (hardcover : alk. paper);

035 a| (Sirsi) o34284086;

035 a| (OCoLC)34284086;

049 a| EREE;

050 00 a| QA76.9.D5b| D38 1996;

082 00 a| 005.1/12| 20;

245 00 a| Deductive program design /c| edited by Manfred Broy.;

300 a| viii, 467 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| NATO ASI series. Series F, Computer and systems sciences ;v| vol. 152;

500 a| "Published in cooperation with NATO Scientific Affairs Division.";

500 a| "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso.;

504 a| Includes bibliographical references.;

650 0 a| Computer programmingx| Distributed processingv| Congresses.=| ^A33242;

650 0 a| System designv| Congresses.=| ^A121730;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

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

710 2 a| North Atlantic Treaty Organization.b| Scientific Affairs Division.=| ^A12842;

711 2 a| NATO Advanced Study Institute on Deductive Program Designd| (1994 :c| Marktoberdorf, Germany)=| ^A382391;

830 0 a| NATO ASI series.n| Series F,p| Computer and systems sciences ;v| no. 152.=| ^A654854;

596 a| 1;

998 a| 604635;

999 a| QA76.9.D5 D38 1996w| LCc| 1i| 30372009819167d| 12/18/2002e| 12/3/2002l| JGESm| JOYNERn| 3r| Ys| Yt| JGESBKu| 11/22/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Deductive program design / edited by Manfred Broy.

Other author	Broy, M., 1949-
Other author	North Atlantic Treaty Organization. Scientific Affairs Division.
Other author	NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	viii, 467 pages : illustrations ; 24 cm.
Subjects	Computer programming--Distributed processing. --Congresses. System design--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	NATO ASI series. Series F, Computer and systems sciences ; vol. 152 NATO ASI series. Series F, Computer and systems sciences ; no. 152. ^A654854
General note	"Published in cooperation with NATO Scientific Affairs Division."
General note	"Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso.
Bibliography note	Includes bibliographical references.
LCCN	96010788
ISBN	3540609474 (hardcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D5 D38 1996	✔ Available	Place Hold

Deductive program design / edited by Manfred Broy.

Click here for more information about this title

Availability