Articoli correlati a Higher Order Logic Theorem Proving and Its Applications:...

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 859 - Brossura

 
9783540584506: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 859

Sinossi

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

LCF examples in HOL.- A graphical tool for proving UNITY progress.- Reasoning about a class of linear systems of equations in HOL.- Towards a HOL theory of memory.- Providing tractable security analyses in HOL.- Highlighting the lambda-free fragment of Automath.- First-order automation for higher-order-logic theorem proving.- Symbolic animation as a proof tool.- Datatypes in L2.- A formal theory of undirected graphs in higher-order logc.- Mechanical verification of distributed algorithms in higher-order logic.- Tracking design changes with formal verification.- Weak systems of set theory related to HOL.- Interval-semantic component models and the efficient verification of transaction-level circuit behavior.- An interpretation of Noden in HOL.- Reasoning about real circuits.- Binary decision diagrams as a HOL derived rule.- Trustworthy tools for trustworthy programs: A verified verification condition generator.- S: A machine readable specification notation based on higher order logic.- An engineering approach to formal digital system design.- Generating designs using an Algorithmic Register Transfer Language with formal semantics.- A HOL formalisation of the Temporal Logic of Actions.- Studying the ML module system in HOL.- Towards a mechanically supported and compositional calculus to design distributed algorithms.- Simplifying deep embedding: A formalised code generator.- Automating verification by functional abstraction at the system level.- A parameterized proof manager.- Implementational issues for verifying RISC-pipeline conflicts in HOL.- Specifying instruction-set architectures in HOL: A primer.- Representing higher-order logic proofs in HOL.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2008
  • ISBN 10 3540584501
  • ISBN 13 9783540584506
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine488
  • Contatto del produttorenon disponibile

Compra usato

pp. 492
Visualizza questo articolo

EUR 7,94 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780387584508: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings

Edizione in evidenza

ISBN 10:  0387584501 ISBN 13:  9780387584508
Rilegato

Risultati della ricerca per Higher Order Logic Theorem Proving and Its Applications:...

Foto dell'editore

Melham, Thomas F.; Camilleri, Juanito
Editore: Springer, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Nuovo Brossura

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-274010

Contatta il venditore

Compra nuovo

EUR 45,82
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Melham, Thomas F.; Camilleri, Juanito
Editore: Springer, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Antico o usato Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Used. pp. 492. Codice articolo 263096004

Contatta il venditore

Compra usato

EUR 57,92
Convertire valuta
Spese di spedizione: EUR 7,94
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Melham Thomas F. Camilleri Juanito
Editore: Springer, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Antico o usato Brossura

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Used. pp. 492. Codice articolo 183096014

Contatta il venditore

Compra usato

EUR 59,16
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Melham, Thomas F.; Camilleri, Juanito
Editore: Springer, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Antico o usato Brossura

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Used. pp. 492 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5800475

Contatta il venditore

Compra usato

EUR 57,05
Convertire valuta
Spese di spedizione: EUR 10,55
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Juanito Camilleri
ISBN 10: 3540584501 ISBN 13: 9783540584506
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic. Codice articolo 9783540584506

Contatta il venditore

Compra nuovo

EUR 53,49
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Melham, Thomas F.; Camilleri, Juanito
Editore: Springer, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540584506_new

Contatta il venditore

Compra nuovo

EUR 62,39
Convertire valuta
Spese di spedizione: EUR 10,72
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Melham, Thomas F.|Camilleri, Juanito
ISBN 10: 3540584501 ISBN 13: 9783540584506
Nuovo Kartoniert / Broschiert

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selected fro. Codice articolo 4894721

Contatta il venditore

Compra nuovo

EUR 64,08
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Melham, Thomas F. ; & Camilleri, Juanito ; editors :
ISBN 10: 3540584501 ISBN 13: 9783540584506
Antico o usato orig. wrappers

Da: Expatriate Bookshop of Denmark, Svendborg, Danimarca

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

orig. wrappers. Condizione: Minor wear. VG. 24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings". Codice articolo 027483

Contatta il venditore

Compra usato

EUR 53,60
Convertire valuta
Spese di spedizione: EUR 20,50
Da: Danimarca a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Melham, Thomas F.; Camilleri, Juanito
Editore: Springer, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783540584506

Contatta il venditore

Compra nuovo

EUR 67,23
Convertire valuta
Spese di spedizione: EUR 7,94
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Juanito Camilleri
ISBN 10: 3540584501 ISBN 13: 9783540584506
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic. 488 pp. Englisch. Codice articolo 9783540584506

Contatta il venditore

Compra nuovo

EUR 96,29
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Vedi altre 5 copie di questo libro

Vedi tutti i risultati per questo libro