Jose Maria Frade » książki

zaloguj się | załóż konto

topmenu

Księgarnia internetowa

Książki na zamówienie

Książka na prezent

Wyszukiwanie zaawansowane

Bezpłatna dostawa dla zamówień powyżej 20 zł

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2687494]

• Literatura piękna

[1634418]

Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 3

	Genomic Mosaicism in Neurons and Other Cell Types ISBN: 9781493984404 / Angielski / Miękka / 2018 / 382 str. ISBN: 9781493984404/Angielski/Miękka/2018/382 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Jose Maria Frade; Fred H. Gage

	cena: 423,10 zł

	Genomic Mosaicism in Neurons and Other Cell Types ISBN: 9781493972791 / Angielski / Twarda / 2017 / 382 str. ISBN: 9781493972791/Angielski/Twarda/2017/382 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Jose Maria Frade; Fred H. Gage

	cena: 576,96 zł

	Rigorous Software Development: An Introduction to Program Verification ISBN: 9780857290175 / Angielski / Miękka / 2011 / 307 str. ISBN: 9780857290175/Angielski/Miękka/2011/307 str. Termin realizacji zamówienia: ok. 20 dni roboczych. José Bacelar Almeida;Maria João Frade;Jorge Sousa Pinto 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ł

Facebook - konto krainaksiazek.pl

Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl

Zobacz:

1997-2024 DolnySlask.com Agencja Internetowa

Przechowalnia

Przechowalnia