topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Genomic Mosaicism in Neurons and Other Cell Types
ISBN: 9781493984404 / Angielski / Miękka / 2018 / 382 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,82 |
 |
Genomic Mosaicism in Neurons and Other Cell Types
ISBN: 9781493972791 / Angielski / Twarda / 2017 / 382 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
605,23 |
 |
Sport Modalities, Performance and Health
ISBN: 9783036533421 / Angielski / Twarda / 2022 / 276 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
278,62 |
 |
Rigorous Software Development: An Introduction to Program Verification
ISBN: 9780857290175 / Angielski / Miękka / 2011 / 307 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for s...
|
cena:
141,03 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
