fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Zelkowitz

Advances in Computers: Highly Dependable Software

Medium: Buch
ISBN: 978-0-12-012158-8
Verlag: ACADEMIC PR INC
Erscheinungstermin: 31.08.2003
Nicht verfügbar
Nicht mehr lieferbar
Auf die Merkliste Drucken
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, the evolution of the various security policies. This book would be an invaluable addition to any university course in computer technology, and an excellent reference tool for industrial practitioners.

Produkteigenschaften

  • Artikelnummer: 9780120121588
  • Medium: Buch
  • ISBN: 978-0-12-012158-8
  • Verlag: ACADEMIC PR INC
  • Erscheinungstermin: 31.08.2003
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2003
  • Serie: Advances in Computers
  • Produktform: Gebunden
  • Gewicht: 757 g
  • Seiten: 392
  • Format (B x H x T): 150 x 241 x 25 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Preface.
Contributors.
Software development productivity, K.D. Maxwell.
Transformation-oriented programming: A development methodology for high assurance software, V.L. Winter, S. Roach and G. Wickstrom.
Bounded model checking, A. Biere, A. Cimatti, E.M. Clarke, O. Strichman and Y. Zhu.
Advances in GUI testing, A.F. Memon.
Software inspections, M. Roper, A. Dunsmore and M. Wood.
Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant, L. Bernstein.
Advances in the provisions of system and software security - Thirty years of progress, R.B. Vaughn.