Zobacz książki o podobnej tematyce

Więcej informacji o Verification of Sequential and Concurrent Programs

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

Za ten zakup dostaniesz 270 punkty

Opis

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Algorithms & data structures

• Pełny tytuł: Verification of Sequential and Concurrent Programs
• Autor: Ernst-Rudiger Olderog
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 502
• EAN: 9781447125136
• ISBN: 9781447125136
• ID: 08577018
• Wydawca: Springer London Ltd
• Waga: 746 g
• Wymiary: 235 × 156 × 28 mm
• Data wydania: 04. March 2012

Ulubione w innej kategorii

---

---

---