Koszyk
towar
(pusty)
Kontakt
Konto
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
przeczytaj całość
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
ukryj opis
- Wydawnictwo: Springer, Berlin
- Kod:
- Rok wydania: 2018
- Język: Angielski
- Oprawa: Broszurowa/paperback
- Liczba stron: 440
- Szerokość opakowania: 15.5 cm
- Wysokość opakowania: 23.5 cm
- Głębokość opakowania: 2.7 cm
- Waga: 744 g
Recenzja