LIBRISTO
LIBROAMANTO
povinné
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 Kuriér GLS 3.99 Zberné miesto GLS 2.49 SPS 3.99 SPS Parcel Shop 2.99 Packeta kurýr 3.99 Slovenská pošta 3.99 Zberné miesto DPD 2.99 Packeta 2.99

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Autor Stephan Merz

6 produktov
Väzba

5
1
Cena

Dostupnosť

1
5
Dátum vydania

?
Integrated Formal Methods Dominique Méry / Brožovaná
common.buy 51.78
Formal Systems Specification Manfred Broy / Brožovaná
common.buy 51.78
Formal Methods and Software Engineering Stephan Merz / Brožovaná
common.buy 51.78
Interactive Theorem Proving Jasmin Christian Blanchette / Brožovaná
common.buy 51.78
Modeling and Verification of Real-time Systems Nicolas Navet / Adobe ePub DRM
common.buy 285.58
Temporal Logic and State Systems Fred Kröger / Brožovaná
common.buy 77.42

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet