Kniha Formal Methods in Computer Science Wang

Formal Methods in Computer Science

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
2 618
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2019
Stránek
294
EAN
9781498775328
ISBN
1498775322
Enbook ID
21332610
Hmotnost
470
Rozměry
231 x 156 x 24

Kompletní popis

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

Mohlo by vás zajímat

167

Civil Disobedience

Henry David Thoreau
365

Theory of Games and Statistical Decisions

David Harold 1919- Blackwell
559

Necropath

Eric Brown
199

Automobile Marketing

Anders Parment
1 833
297

B Sea

Jack Lagan
531
411

Kaukauna

Gavin Schmitt
460
1 173

Zákaznicí kteří koupili tuto knihu koupili také

739
180

Prinsessan av Bandalore

Frans Oskar W?gman
455

Queen Of Hearts

King Company
419

Also sprach Zarathustra

Friedrich Nietzsche
152

Vzpomínka na Zemi

Liou Cch´-Sin
196

Ratio versus Profit

Walter Ponner
163

Aire

Sylvia Coll Masfarré
371
228