Simao Melo de Sousa » książki

zaloguj się | załóż konto

topmenu

Książki na zamówienie

Książka na prezent

Wyszukiwanie zaawansowane

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

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

Kategorie główne

• Nauka

[3096608]

• Literatura piękna

[1811851]

Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 2

	Rigorous Software Development: An Introduction to Program Verification ISBN: 9781447175575 / Angielski / 10-07-2026 ISBN: 9781447175575/Angielski/10-07-2026 Książka dostępna od: 10-07-2026 Simao Melo de Sousa
	Planowany termin premiery książki: 10-07-2026 Książkę można już zamówić z rabatem 5%
	~~504,36~~ 479,14

	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

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

Przechowalnia

Przechowalnia