Barion Pixel
Adapting Proofs-As-Programs

Poernomo, Iman Hafiz

Adapting Proofs-As-Programs

-10%

Jelenleg nem kapható

Kérjük vegye fel velünk a kapcsolatot!

79 200 Ft
(Bolti ár)
71 280 Ft
ISBN: 9780387237596
Megjelenés: n.a
Kiadó: Springer-Verlag New York Inc.
Szárm. ország: United States
Kötés: Keménykötésű
Oldalak száma: 420

Átvételi lehetőségek:

Személyes átvétel üzletünkben

Házhoz szállítás GLS futárral Magyarországon:

+ ...

Magyarországon kívüli címre, postai küldeményként

Érdeklődjön a költségekről!

Fizetési lehetőségek:

Bankkártyás fizetés online (Barion)

Fizetés PayPal fiókkal

Utvánvét, fizetés a futárnál

(bankkártya vagy készpénz)

Személyesen az üzletben

(bankkártya vagy készpénz)

Előreutalás

(Magyarországon kívüli címre történő postázás esetén)

Details Important Advances In The Direction Of A Practical Proofs-As-Programs Paradigm, Which Constitutes A Set Of Approaches To Developing Programs From Proofs In Constructive Logic With Applications To Industrial-Scale, Complex Software Engineering Problems.

Adapting Proofs-As-Programs

Biztonságos fizetés

Személyes és online vásárlás

Követhető rendelések

Bestsellers 1992 óta

© Bestsellers 2026 All rights reserved.
build 3 / 2026-10-27 20:00