Jorge Sousa Pinto » 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

[2949965]

• Literatura piękna

[1857847]

Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 2

	The Portuguese and the Straits of Melaka, 1575-1619: Power, Trade and Diplomacy ISBN: 9789971695705 / Angielski / Miękka / 2012 / 375 str. ISBN: 9789971695705/Angielski/Miękka/2012/375 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Paulo Jorge De Sausa Pinto

	cena: 116,78

	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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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: 141,03

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-2025 DolnySlask.com Agencja Internetowa

Przechowalnia

Przechowalnia