Logic of Computation: SER F / v.157 (NATO ASI)
Schwichtenberg Helmut
ISBN 10: 3540629637 ISBN 13: 9783540629634
Editore: Springer, 1997
Nuovi
Rilegato
Da
Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 10 settembre 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
pp. 394. Codice articolo 182561915
Riassunto:
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and category theory, machine based theorem proving, logic programming, bounded arithmetic, proof theory, algebraic specifications and rewriting, algebraic algorithms, and type theory.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Logic of Computation: SER F / v.157 (NATO ...
Casa editrice: Springer
Data di pubblicazione: 1997
Legatura: Rilegato
Condizione: New
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Logic of Computation
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45206122-n
Compra nuovo
EUR 93,67
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Computation (NATO ASI Series / Computer and Systems Sciences)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540629634_new
Compra nuovo
EUR 93,68
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic of Computation
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis.nThe lectures presented here provide the basic knowledge a re. Codice articolo 908117649
Compra nuovo
EUR 107,73
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Computation
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45206122-n
Compra nuovo
EUR 108,27
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Computation
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 394 pages. 9.75x6.75x1.00 inches. In Stock. Codice articolo x-3540629637
Compra nuovo
EUR 143,70
Spedizione EUR 14,49
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logic of Computation (NATO ASI Series / Computer and Systems Sciences)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA77335406296376
Compra usato
EUR 183,89
Spedizione EUR 28,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic of Computation
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45206122
Compra usato
EUR 193,43
Spedizione EUR 17,39
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Computation
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45206122
Compra usato
EUR 216,22
Spedizione EUR 2,31
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili