topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Genomic Mosaicism in Neurons and Other Cell Types
ISBN: 9781493972791 / Angielski / Twarda / 2017 / 382 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
576,96 zł |
 |
Genomic Mosaicism in Neurons and Other Cell Types
ISBN: 9781493984404 / Angielski / Miękka / 2018 / 382 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
423,10 zł |
 |
Sport Modalities, Performance and Health
ISBN: 9783036533421 / Angielski / Twarda / 2022 / 276 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
312,11 zł |
 |
Rigorous Software Development: An Introduction to Program Verification
ISBN: 9780857290175 / Angielski / Miękka / 2011 / 307 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
134,44 zł |
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
