De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

- First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

indgår i Programming and Software Engineering serien

indgår i Lecture Notes in Computer Science serien

Formal Approaches to Software Testing and Runtime Verification
Bag om Formal Approaches to Software Testing and Runtime Verification

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540496991
  • Indbinding:
  • Paperback
  • Sideantal:
  • 255
  • Udgivet:
  • 7. december 2006
  • Udgave:
  • 2006
  • Størrelse:
  • 234x156x14 mm.
  • Vægt:
  • 421 g.
  • 8-11 hverdage.
  • 14. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Formal Approaches to Software Testing and Runtime Verification

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Brugerbedømmelser af Formal Approaches to Software Testing and Runtime Verification



Andre købte også..
Find lignende bøger
Bogen Formal Approaches to Software Testing and Runtime Verification findes i følgende kategorier: