Gratis verzending vanaf 59,99 euro.
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen.
Gratis account aanmaken
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Computer Science Logic
7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers
Taal
Engels
Engels
Boek
Gebonden (paperback)
This volume contains the final versions of a collection of papers presented at the Annual Conference...
Volledige beschrijving
Libristo-code: 05274407
?
125 b
125 b
51.75
€
In extern magazijn
Wordt binnen 5-8 dagen verzonden
Retourneren binnen 30 dagen
Klanten kochten ook
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.
Actrice
&
Polyglot
EWA KASP
voor
Video afspelen
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.
Informatie over het boek
Volledige naam
Computer Science Logic
Auteur
Egon Börger, Yuri Gurevich, Karl Meinke
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
1994
Aantal pagina's
336
EAN
9783540582779
ISBN
3540582770
Libristo-code
05274407
Uitgeverij
Springer, Berlin
Gewicht
466
Afmetingen
216 x 279 x 18
Categorieën
Technologie, techniek, landbouw, industriële processen
>
Elektronica en communicatietechnologie
>
Elektronicatechnologie
>
Automatische controletechnologie
>
Robotica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
83.14
€
