Zobacz książki o podobnej tematyce

Więcej informacji o Scalable Techniques for Formal Verification

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 361 punkty

Opis

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Szczegóły książki

Kategoria Książki po angielsku Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Pełny tytuł: Scalable Techniques for Formal Verification
• Autor: SANDIP RAY
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 243
• EAN: 9781489984449
• ISBN: 9781489984449
• ID: 09062296
• Wydawca: Springer-Verlag New York Inc.
• Waga: 403 g
• Wymiary: 235 × 155 × 15 mm
• Data wydania: 19. October 2014

Ulubione w innej kategorii

---

---

---