Logic of Programs: Workshop, ETH Zürich, May-July 1979 » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2946600]

• Literatura piękna

[1856966]

więcej...

Kategorie szczegółowe BISAC

Logic of Programs: Workshop, ETH Zürich, May-July 1979

Name: Logic of Programs: Workshop, ETH Zürich, May-July 1979
Brand: Springer-Verlag Berlin and Heidelberg GmbH &
Price: 201.72 PLN
Availability: InStock

ISBN-13: 9783540111603 / Angielski / Miękka / 1981 / 245 str.

E. Engeler

Logic of Programs: Workshop, ETH Zürich, May-July 1979

ISBN-13: 9783540111603 / Angielski / Miękka / 1981 / 245 str.

E. Engeler

cena 201,72 zł
(netto: 192,11 VAT: 5%)

Najniższa cena z 30 dni: 192,74 zł

Termin realizacji zamówienia:
ok. 22 dni roboczych
Bez gwarancji dostawy przed świętami

Darmowa dostawa!

Springer Book Archives

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Logic Design
Computers > Programming - General
Computers > Computer Science

Wydawca:

Springer-Verlag Berlin and Heidelberg GmbH &

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783540111603

Rok wydania:

1981

Dostępne języki:

Angielski

Wydanie:

1981

Numer serii:

000013115

Ilość stron:

245

Waga:

0.80 kg

Wymiary:

23.323.3 x 15.5

Oprawa:

Miękka

Wolumenów:

On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL — Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa