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

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

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

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer Nature Switzerland AG
SKU: 24027842
Price: 51.75 EUR
Availability: InStock
Author: Isil Dillig
ISBN: 9783030255428

Isil Dillig

Serdar Tasiran

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 24027842

Nakladateľstvo Springer Nature Switzerland AG, júl 2019

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... Celý popis

Libristo kód: 24027842

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Automotives Googiedesign / Gestern - Heute - Morgen Steinmetz

Brožovaná

25.11 €

Il Fratellino Di Celeste Marisa Bragato

Brožovaná

9.11 €

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented togeth