Tool Support for System Specification, Development and Verification: Advances in Computing Sciences
Editat de Rudolf Berghammer, Yassine Lakhnechen Limba Engleză Paperback – 25 mar 1999
Preț: 317.69 lei
Preț vechi: 397.11 lei
-20% Nou
Puncte Express: 477
Preț estimativ în valută:
60.80€ • 64.14$ • 50.67£
60.80€ • 64.14$ • 50.67£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783211832820
ISBN-10: 3211832823
Pagini: 248
Ilustrații: IX, 232 p. 53 illus.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:Softcover reprint of the original 1st ed. 1999
Editura: SPRINGER VIENNA
Colecția Springer
Seria Advances in Computing Sciences
Locul publicării:Vienna, Austria
ISBN-10: 3211832823
Pagini: 248
Ilustrații: IX, 232 p. 53 illus.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:Softcover reprint of the original 1st ed. 1999
Editura: SPRINGER VIENNA
Colecția Springer
Seria Advances in Computing Sciences
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Formal Methods and Tools: Introduction and Overview.- Model Elimination with Simplification and its Application to Software Verification.- Applications of the RelView System.- Lutess: A Testing Environment for Synchronous Software.- PAMELA+PVS Verification of Sequential Programs.- ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies.- Formal Verification of Statemate-Statecharts.- Correct Programs without Proof? On Checker-Based Program Verification.- Synchronie Workbench.- The Term Graph Programming System HOPS.- Truth — A Verification Platform for Concurrent Systems.- Tool Integration in the UniForM-Workbench.- An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.- Towards Light-Weight Verification and Heavy-Weight Testing.- SFI: a Feature Integration Tool.- Modular Reasoning about Structured TLA Specifications.- Addresses of Contributors.