Košík
tovar
(prázdne)
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.
prečítať celé
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
Skryť popis
- Nakladateľ: Springer, Berlin
- Kód:
- Rok vydania: 2018
- Jazyk: Angličtina
- Väzba: Brožovaná / brožovaná
- Počet strán: 440
- Šírka balenia: 15.5 cm
- Výška balenia: 23.5 cm
- Hĺbka balenia: 2.7 cm
- Váha balenia: 744 g
Recenzie