Thomas Ball – författare
Visar alla böcker från författaren Thomas Ball. Handla med fri frakt och snabb leverans.
11 produkter
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Av Thomas Ball, Robert B. Jones
Häftad, 2006
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues …
Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Av Robert B. Jones, Thomas Ball
E-bok, 2006
1502 kr
Lägg i varukorg
Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Av Thomas Ball, Sriram K. Rajamani
Häftad, 2003
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and …
Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Av Sriram K. Rajamani, Thomas Ball
E-bok, 2003
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and …
Handbuch Facility Management 2023
70 führende Partner für Ihr Unternehmen
Av Jorg Hossenfelder, Thomas Ball
E-bok, 2023
787 kr
Lägg i varukorg
Das Fachbuch zum professionellen Gebäudemanagement behandelt in Beiträgen effiziente Immobilien- und produktionsnahe Sekundärprozesse. Die zunehmende Komplexität der kostenrelevanten Vorgänge, die Beachtung der elementaren Themen Arbeitssicherheit, Digitalisierung, Energieeffizienz sowie …
