Košík
zboží
(prázdné)
Kontakt
Účet
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
číst celé
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
schovat popis
- Nakladatel: Springer, Berlin
- Kód:
- Rok vydání: 2018
- Jazyk: Angličtina
- Vazba: Taschenbuch
- Počet stran: 440
- Šířka balení: 15.5 cm
- Výška balení: 23.5 cm
- Hloubka balení: 2.7 cm
- Váha balení: 744 g
Recenze