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

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

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274873
Price: 262.48 PLN
Availability: InStock

Jim Grundy

Malcolm Newey

Język

Angielski

Książka Miękka

Kod Libristo: 05274873

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 1998

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Provi... Cały opis

Kod Libristo: 05274873

154 b

262.48 zł

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

common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon

/ Miękka

165.35 zł

Tiffany Desk Treasures George A. Kemeny

/ Twarda

300.89 zł

Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop

/ Twarda

671.32 zł

Über den Tod und das Leben danach, 2 Audio-CD Elisabeth Kübler-Ross

/ CD Audio

95.62 zł

Tobias Smollett in the Enlightenment Richard J. Jones

/ Twarda

548.58 zł

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

Informacje o książce

Pełna nazwa Theorem Proving in Higher Order Logics

Autor Jim Grundy, Malcolm Newey

Język

Angielski

Oprawa Książka - Miękka

Data wydania 1998

Liczba stron 496

EAN 9783540649878

ISBN 3540649875

Kod Libristo 05274873

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

Waga 1580

Wymiary 155 x 233 x 28

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się

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