rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Correct system design
    sub title: recent insights and advances
  name:
    name part: Steffen, Bernhard.
  name:
    name part: Olderog, E.-R.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: nyu
    date issued: 1999
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xiv, 415 pages) : illustrations
  table of 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. Fränzle, M. Müller-Olm -- Optimization under the perspective of soundness, completeness, and reusability / J. Knoop, O. Rüthing -- Verification of automotive control units / T. Bienmüller [and others] -- 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.
  note: Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).
  note: Electronic resource.
  note: Includes bibliographical references.
  subject:
    topic: System design
  subject:
    topic: Computer systems
    topic: Reliability
  subject:
    topic: correction programme
  subject:
    topic: compilation
  subject:
    topic: méthodologie programmation
  subject:
    topic: Systèmes informatiques
    topic: Fiabilité
  subject:
    topic: Computer systems
    topic: Reliability
  subject:
    topic: System design
  subject:
    topic: Linguagem De Programacao (Outras)
  subject:
    topic: Théorèmes
    topic: Démonstration automatique
  subject:
    topic: Systèmes, Conception de
  subject:
    topic: Ordinateurs
    topic: Fiabilité
  classification: QA76.9.S88 C678 1999
  classification: 004.2/1
  related item:
    title info:
      title: Lecture notes in computer science ; 1710
  identifier: 3540666249
  identifier: 9783540666240
  identifier: 99049189
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: DLC
    record creation date: 000308
    record change date: 20190325093601.0
    record identifier: in00001528477
    language of cataloging:
      language term: eng