Mohlo by se vám také líbit

Více informací o knize Formal Methods and Testing

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Formal Methods and Testing
• Podnázev: An Outcome of the FORTEST Network. Revised Selected Papers
• Autor: Robert M. Hierons, Jonathan P. Bowen, Mark Harman
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 370
• EAN: 9783540789161
• ISBN: 3540789162
• ID: 01570095
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 594 g
• Rozměry: 157 × 235 × 27 mm
• Datum vydání: 08. April 2008

Oblíbené z jiného soudku

---

---

---