Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559585
Price: 261.68 PLN
Availability: InStock

Dexter Kozen

Carron Shankland

Język

Angielski

Książka Miękka

Kod Libristo: 01559585

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2004

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematic... Cały opis

Kod Libristo: 01559585

154 b

261.68 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Moderní dějiny islámských zemí Eduard Gombár

/ Miękka

46.56 zł

Andrea del Sarto S. J. Freedberg

/ Twarda

544.90 zł

Amazonenpapageien Karl Ruß

/ Miękka

129.14 zł

Conduction and breakdown in dielectric liquids J.M. Goldschvartz

/ Miękka

516.18 zł

Discovering Nature Robert P. (Boston University) Weller

/ Miękka

141.70 zł

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Informacje o książce

Pełna nazwa Mathematics of Program Construction

Autor Dexter Kozen, Carron Shankland

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2004

Liczba stron 404

EAN 9783540223801

ISBN 3540223800

Kod Libristo 01559585

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 640

Wymiary 160 x 231 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów