Jorge Pinto - książki - KrainaKsiazek.pl

	1492 - 2015: El Exilio y El Regreso a España ISBN: 9781934978665 / Hiszpański / Miękka / 2018 / 112 str. ISBN: 9781934978665/Hiszpański/Miękka/2018/112 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Celia Prados García;Ramón García Gómez;Jorge Pinto Mazal

	cena: 59,98

	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. 16-18 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: 141,03

	Non-invasive assessment of central arterial pulses with optical fibres ISBN: 9786138269045 / Angielski / Miękka / 2018 / 184 str. ISBN: 9786138269045/Angielski/Miękka/2018/184 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Cátia Sofia Jorge Leitão - João de Lemos Pinto; Paulo Sérgio de Brito André - José Adelino Mesquita Bastos

	cena: 290,98

Kategorie główne