áru
(üres)
Kapcsolat
Fiók 
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
tovább
Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
leírás elrejtése
- Kiadó: Springer, Berlin
- Kód:
- Kiadás éve: 2018
- Nyelv: Angol
- Kötés: Fűzött (paperback)
- Oldalak száma: 440
- Csomag szélessége: 15.5 cm
- Csomag magassága: 23.5 cm
- Csomag mélysége: 2.7 cm
- Csomag súlya: 744 g
Recenzió