Introduction to Practical Formal Methods Using Temporal Logic
Tunniste 35e55a67-4d36-4dec-9007-7a60f252e387
Näytetään alkuperäisellä kielellä.
Score
No votes yet.
Sign in to vote.
Lyhyesti
- Tyyppi
- Book
- Open Library
- OL21464592W
- Kirjoituskieli
- Tuntematon
- Käännökset
- Ei vielä käännöksiä.
- Tiedostot
- Ei vielä tiedostoja.
Tekijät
Organisaatiot
Ei vielä yhtään.
Tunnisteet
Fiktiossa
Ei vielä yhtään.