Formal Methods in Computer Science - Textbooks in Mathematics - Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) - Grāmatas - Taylor & Francis Inc - 9781498775328 - 2019. gada 3. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)
Formal Methods in Computer Science - Textbooks in Mathematics 1. izdevums

Cena
€ 135,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 5. - 19. okt.
Saņemiet paziņojumus par jauniem Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2019. gada 3. jūlijs
ISBN13 9781498775328
Izdevēji Taylor & Francis Inc
Lapas 294
Izmēri 231 × 156 × 24 mm   ·   470 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)