phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Mathematics of Program Construction

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Mathematics of Program Construction Eerke A. Boiten
Libristo kód: 01564425
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, června 2002
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Charles Dickens Johann N. Schmidt / Brožovaná
common.buy 226 Kč
Metal Impurities in Silicon-Device Fabrication Klaus Graff / Brožovaná
common.buy 3 313 Kč
Zwischen Ende und Neuanfang Freimut Hengst / Brožovaná
common.buy 2 155 Kč
Memoria dirigida al Sr. Marquez de Loreto, Virey y Capitan General de las Provincias del Rio de La Plata Francisco de Viedma / Pevná
common.buy 987 Kč
Italienische Migration Nach Deutschland Marc Schmid / Brožovaná
common.buy 1 977 Kč
Enzyme Induction and Modulation V.A. Najjar / Brožovaná
common.buy 6 578 Kč
Once in a Lifetime Jill Shalvis / Brožovaná
common.buy 227 Kč
Organisationsentwicklung Konkret Ralph Grossmann / Brožovaná
common.buy 1 830 Kč

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Informace o knize

Plný název Mathematics of Program Construction
Autor Eerke A. Boiten, Bernhard Möller
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 263
EAN 9783540438571
ISBN 3540438572
Libristo kód 01564425
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 438
Rozměry 158 x 231 x 16

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet