Одеська національна наукова бібліотека

Бібліотека працює:

понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

Довідка :

Електронний каталог : Charatan, Quentin - Formal software development

Charatan, Quentin - Formal software development

Недоступно
0 из 1

Книга
Автор: Charatan, Quentin
Formal software development : from VDM to Java
Видавництво: Palgrave Macmillan, 2004 г.
ISBN 0-333-99281-4

(UA) Книга
929240 Главный филиал

Charatan, Quentin.
Formal software development : from VDM to Java / Quentin Charatan, Aaron Kans.– Basingstoke : Palgrave Macmillan, 2004.– XII,239 p. : ill., tab., schem., diagr. – На англ. яз.
ISBN 0-333-99281-4.