Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

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

Kategorie główne

• Nauka

[2670488]

• Literatura piękna

[1633199]

więcej...

Kategorie szczegółowe BISAC

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed

Name: Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed
Brand: Springer
Price: 195.87 PLN
Availability: InStock

ISBN-13: 9783319737201 / Angielski / Miękka / 2018 / 540 str.

Isil Dillig; Jens Palsberg

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed

ISBN-13: 9783319737201 / Angielski / Miękka / 2018 / 540 str.

Isil Dillig; Jens Palsberg

cena 195,87 zł
(netto: 186,54 VAT: 5%)

Najniższa cena z 30 dni: 192,74 zł

Termin realizacji zamówienia:
ok. 20 dni roboczych.

Darmowa dostawa!

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Programming - Compilers
Computers > Software Development & Engineering - General
Computers > Networking - Hardware

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783319737201

Rok wydania:

2018

Wydanie:

2018

Numer serii:

000013115

Ilość stron:

540

Waga:

0.77 kg

Wymiary:

23.39 x 15.6 x 2.9

Oprawa:

Miękka

Wolumenów:

Dodatkowe informacje:

Wydanie ilustrowane

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2024 DolnySlask.com Agencja Internetowa