Tipsa dina vänner om produkten:
Formal Methods in Computer Science - Textbooks in Mathematics 1:a utgåva
Jiacun Wang
Pris
SEK 2.509
Beställningsvara
Förväntad leverans 6 - 17 dec
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
Finns även som:
Formal Methods in Computer Science - Textbooks in Mathematics 1:a utgåva
Jiacun Wang
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
294 pages, 29 Tables, black and white; 154 Illustrations, black and white
| Media | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
| Releasedatum | 25 juni 2019 |
| ISBN13 | 9780367225704 |
| Utgivare | Taylor & Francis Ltd |
| Antal sidor | 294 |
| Mått | 566 g |
| Språk | Engelska |
Visa alla
Fler produkter med Jiacun Wang
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Pocketbok) [Softcover reprint of the original 1st ed. 1998 edition] (2012)](https://imusic.b-cdn.net/images/item/original/319/9781461375319.jpg?jiacun-wang-2012-timed-petri-nets-theory-and-application-the-international-series-on-discrete-event-dynamic-systems-pocketbok&class=scaled&v=1531133890)
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Inbunden Bok) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/706/9780792382706.jpg?jiacun-wang-1998-timed-petri-nets-theory-and-application-the-international-series-on-discrete-event-dynamic-systems-inbunden-bok&class=scaled&v=1410187751)
Se alt med Jiacun Wang ( t.ex. Pocketbok och Inbunden Bok )