Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
Punto Poste 5.49 €
Punto Poste 5.49 €
Corriere DHL 6.99 €
Corriere GLS 5.99 €
Punto GLS 4.49 €
Corriere Bartolini 4.49 €
Punto Bartolini 3.49 €
Contatto
Come acquistare
Aiuto
Consegna
Punto Poste 5.49 €
Punto Poste 5.49 €
Corriere DHL 6.99 €
Corriere GLS 5.99 €
Punto GLS 4.49 €
Corriere Bartolini 4.49 €
Punto Bartolini 3.49 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Computer Science Logic
7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers
Lingua
Inglese
Inglese
Libro
In brossura
This volume contains the final versions of a collection of papers presented at the Annual Conference...
Descrizione completa
Codice Libristo: 05274407
?
132 b
132 b
53.79
€
Magazzino esterno
Inviamo tra 5-8 giorni
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
52.19
€
/
In brossura
148.49
€
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Attrice
&
Poliglotta
EWA KASP
per
Riproduci video
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.
Informazioni sul libro
Titolo completo
Computer Science Logic
Autore
Egon Börger, Yuri Gurevich, Karl Meinke
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
1994
Numero di pagine
336
EAN
9783540582779
ISBN
3540582770
Codice Libristo
05274407
Casa editrice
Springer, Berlin
Peso
466
Dimensioni
216 x 279 x 18
Categorie
Tecnologia, Ingegneria, Agricoltura, processi industriali
>
Ingegneria elettronica e delle comunicazioni
>
Ingegneria elettronica
>
Ingegneria del controllo automatico
>
Robotica
Informatica e Tecnologia dell’Informazione
>
Scienza dei calcolatori
>
Interazione uomo-macchina
>
Progettazione e usabilità delle interfacce utente
Informatica e Tecnologia dell’Informazione
>
Scienza dei calcolatori
>
Teoria matematica della computazione
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatarioPotrebbe interessarti anche
/
In brossura
33.49
€
Consulente di libri Libroamiko
Utilizzando questa chat, stai comunicando con un'intelligenza artificiale generativa. Utilizzandola, accetti anche il trattamento dei dati personali.
Ciao! Sono Libroamiko, il tuo consulente di libri.
Come posso aiutarti?
Ciao, sono Libroamiko, posso aiutarti?