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ł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Język
Angielski
Angielski
Książka
Twarda
This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section...
Cały opis
Kod Libristo: 05121479
?
398 b
Zapowiedź
398 b
Zapowiedź
694.06
zł
Dodruk
Termin nieznany
Termin nieznany
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented.
Informacje o książce
Pełna nazwa
Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop
Autor
Abbas Edalat, S. Jourdan, G. Mccusker
Język
Angielski
Angielski
Oprawa
Książka - Twarda
Data wydania
1996
Liczba stron
340
EAN
9781860940316
Kod Libristo
05121479
Wydawnictwo
Imperial College Press
Wymiary
250
