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

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

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques
Brand: Springer, Berlin
SKU: 01558808
Price: 261.85 PLN
Availability: InStock

Martin Wirsing

Dirk Pattinson

Rolf Hennicker

Język

Angielski

Książka Miękka

Kod Libristo: 01558808

Wydawnictwo Springer, Berlin, listopad 2002

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on... Cały opis

Kod Libristo: 01558808

154 b

261.85 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ć

Praktische Grammatik der portugiesischen Sprache Wolfgang Reumuth

/ Twarda

111.26 zł

Chemie heute SI - Ausgabe 2013 für Niedersachsen

/ Twarda

110.86 zł

Absolute Surrender Andrew Murray

/ Miękka

40.81 zł

Lautlose Kinder . . . . . Afra

/ Miękka

66.45 zł

Beute für Profis Robert B. Parker Parker

/ Miękka

48.49 zł

Economic Theory of Income Inequality Robert A. Becker

/ Twarda

1 573.67 zł

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.§The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Informacje o książce

Pełna nazwa Recent Trends in Algebraic Development Techniques

Autor Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2003

Liczba stron 464

EAN 9783540205371

ISBN 3540205373

Kod Libristo 01558808

Wydawnictwo Springer, Berlin

Waga 658

Wymiary 155 x 235 x 24

Kategoria

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

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

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