Darmowa dostawa dla zamówień powyżej 299,00 zł.
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
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost Kurier 12.99 zł
Punkt DPD 13.99 zł
Kontakt
Jak kupować
Pomoc
Dostawa
DPD Kurier 12.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
InPost Kurier 12.99 zł
Punkt DPD 13.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
▸
Pusty :-(
0
Darmowa dostawa dla zamówień powyżej 299,00 zł.
Theorem Proving in Higher Order Logics
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the refereed proceedings of the 17th International Conference on Theorem Provi...
Cały opis
Kod Libristo: 01559777
?
125 b
125 b
221.36
zł
Dostępna u dostawcy
Wysyłamy za 5-8 dni
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
86.93
zł
This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction.
Aktorka
&
Poliglotka
EWA KASP
dla
Odtworzyć wideo
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.
Informacje o książce
Pełna nazwa
Theorem Proving in Higher Order Logics
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2004
Liczba stron
340
EAN
9783540230175
ISBN
3540230173
Kod Libristo
01559777
Wydawnictwo
Springer, Berlin
Waga
540
Wymiary
156 x 234 x 18
Kategoria
Technika, inżynieria i rolnictwo, procesy przemysłowe
>
Elektronika i telekomunikacja
>
Inżynieria elektroniczna
>
Automatyka przemysłowa
>
Robotyka
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT)
>
Informatyka (nauka)
>
Analiza systemowa i projektowanie
