Tools

LEADER 03017cam 22004574a 4500

001 ocm42603220;

003 OCoLC;

005 20141212140951.0;

008 991005s1999 gw a b 001 0 eng ;

010 a| 99049189;

015 a| GB99-73792;

019 a| 42745246;

020 a| 3540666249 (softcover);

035 a| (Sirsi) o42603220;

035 a| (OCoLC)42603220;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.S88b| C678 1999;

072 7 a| QA2| lcco;

082 00 a| 004.2/12| 21;

245 00 a| Correct system design :b| recent insights and advances /c| Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).;

300 a| xiv, 415 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| 1710;

504 a| Includes bibliographical references and index.;

505 0 a| Theories of programming : top-down and bottom-up and meeting in the middle / C.A.R. Hoare -- A triptych software development paradigm : domain, requirements and software / D. Bjørner -- Real-time constraints through the ProCoS layers / A.P. Ravn, H. Rischel -- Monotonicity in calculational proofs / D. Gries -- The Alma project, or how first-order logic can help us in imperative programming / K.R. Apt, A. Schaerf -- Type and effect systems / F. Nielson, H.R. Nielson -- Proving theorems about Java-like byte code / J.S. Moore -- Multiple state and single state tableaux for combining local and global model checking / A. Biere, E.M. Clarke, Y. Zhu -- On the existence of network invariants for verifying parameterized systems / P.A. Abdulla, B. Jonsson -- Verification of compilers / G. Goos, W. Zimmermann -- Translation validation : from SIGNAL to C / A. Pnueli, O. Shtrichman, M. Siegel -- Compilation and synthesis for real-time embedded controllers / M. Fränzle, M. Müller-Olm -- Optimization under the perspective of soundness, completeness, and reusability / J. Knoop, O. Rüthing -- Verification of automotive control units / T. Bienmüller ... [et al.] -- Correct real-time software for programmable logic controllers / E.-R. Olderog -- Formal methods for the International Space Station ISS / J. Peleska, B. Buth -- METAFrame in practice : design of intelligent network services / B. Steffen, T. Margaria.;

650 0 a| System design.=| ^A123910;

650 0 a| Computer systemsx| Reliability.=| ^A148010;

700 1 a| Steffen, Bernhard.=| ^A381039;

700 1 a| Olderog, E.-R.=| ^A277749;

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

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har000737068c| 94.00 DEM;

980 a| 2000-02-23b| 69d| 3.48e| 57.96f| 156865;

596 a| 1;

998 a| 714489;

999 a| QA76.9.S88 C678 1999w| LCc| 1i| 30372010700505d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $57.96r| Ys| Yt| JGESBKu| 3/3/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).

Other author	Steffen, Bernhard.
Other author	Olderog, E.-R.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	xiv, 415 pages : illustrations ; 24 cm.
Subjects	System design. Computer systems--Reliability.

Series	Lecture notes in computer science ; 1710 Lecture notes in computer science 1710. ^A466336
Contents	Theories of programming : top-down and bottom-up and meeting in the middle / C.A.R. Hoare -- A triptych software development paradigm : domain, requirements and software / D. Bjørner -- Real-time constraints through the ProCoS layers / A.P. Ravn, H. Rischel -- Monotonicity in calculational proofs / D. Gries -- The Alma project, or how first-order logic can help us in imperative programming / K.R. Apt, A. Schaerf -- Type and effect systems / F. Nielson, H.R. Nielson -- Proving theorems about Java-like byte code / J.S. Moore -- Multiple state and single state tableaux for combining local and global model checking / A. Biere, E.M. Clarke, Y. Zhu -- On the existence of network invariants for verifying parameterized systems / P.A. Abdulla, B. Jonsson -- Verification of compilers / G. Goos, W. Zimmermann -- Translation validation : from SIGNAL to C / A. Pnueli, O. Shtrichman, M. Siegel -- Compilation and synthesis for real-time embedded controllers / M. Fränzle, M. Müller-Olm -- Optimization under the perspective of soundness, completeness, and reusability / J. Knoop, O. Rüthing -- Verification of automotive control units / T. Bienmüller ... [et al.] -- Correct real-time software for programmable logic controllers / E.-R. Olderog -- Formal methods for the International Space Station ISS / J. Peleska, B. Buth -- METAFrame in practice : design of intelligent network services / B. Steffen, T. Margaria.
Bibliography note	Includes bibliographical references and index.
LCCN	99049189
ISBN	3540666249 (softcover)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.S88 C678 1999	✔ Available	Place Hold

Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).

Click here for more information about this title

Availability