Камкин А.С.

Введение в формальные методы верификации программ. 2-е изд., испр

Printed Book

вес 0,631 кг
автор (соавторы):
Камкин А.С.
издательство:
ДМК Пресс
выход в свет:
2024
ISBN:
978-5-93700-340-9
EAN:
9785937003409
переплет:
Твердый

страниц:
304
бумага:
офсетная
формат:
70х100/16
вес, кг:
0.631
логистика:
Moskau->Bremen->DE/EU
ндс РФ
10.00

45,83 € вкл. НДС 7,0 %

вес 0,631 кг
автор (соавторы):
Камкин А.С.
издательство:
ДМК Пресс
выход в свет:
2024
ISBN:
978-5-93700-340-9
EAN:
9785937003409
переплет:
Твердый

страниц:
304
бумага:
офсетная
формат:
70х100/16
вес, кг:
0.631
логистика:
Moskau->Bremen->DE/EU
ндс РФ
10.00

Печатные книги (Printed Book) закупаются под заказ в Москве и доставляются в Германию через третьи страны автотранспортом. Сейчас это требует от 4 до 6 недель. Электронные издания (E-Book, Audio) выгружаются в личный кабинет сразу после оплаты. Перед оформлением заказа рекомендуем убедиться, что у вас есть личный кабинет.