Carte Formal Methods in Computer Science Wang

Formal Methods in Computer Science

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 10-18 zile
595.33 lei
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2019
Pagini
294
EAN
9781498775328
ISBN
1498775322
Enbook ID
21332610
Greutate
470
Dimensiuni
231 x 156 x 24

Descriere completă

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fund

S-ar putea să te intereseze

151.58 lei

Theory of Games and Statistical Decisions

David Harold 1919- Blackwell
133.68 lei
41.45 lei
689.07 lei

Necropath

Eric Brown
47.62 lei
72.40 lei
98.59 lei

Automobile Marketing

Anders Parment
438.68 lei
254.63 lei
127.81 lei

Clienții care au cumpărat această carte au mai cumpărat și

181.72 lei
43.98 lei

Also sprach Zarathustra

Friedrich Nietzsche
37.51 lei

Vzpomínka na Zemi

Liou Cch´-Sin
45.30 lei

Ratio versus Profit

Walter Ponner
39.83 lei

Aire

Sylvia Coll Masfarré
89.89 lei
57.03 lei