Computer Science Logic

Sprache: Englisch

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1999, 1999

3540659226 / 9783540659228

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Januar 2012

Softcover

Zustand: Neu

EUR 53,49

EUR 23,00 Versand 
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This item is printed on demand - it takes 3-4 days longer - Neuware -The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL 98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL 98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The conference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL 98 formed one part of a federated conferences event, the other part being MFCS 98, the 23rd Int- national Symposium on the Mathematical Foundations of Computer Science. This federated conferences event consisted of common plenary sessions, invited talks, several parallel technical programme tracks, a dozen satellite workshops organized in parallel, and tutorials. The Federated CSL/MFCS 98 Conferences event included 19 invited talks, four of them joint CSL/MFCS 98 talks (D. Harel, W. Maass, Y. Matiyasevic, and M. Yannakakis), four for CSL (P. Hajek, J. Mitchell, Th. Schwentick, and J. Tiuryn), and eleven for MFCS. Last but not least, two tutorials were organized by CSL on the day preceding the symposium on Inference Rules in Fragments of Arithmetic by Lev Beklemishev and on Proofs, Types, and Safe Mobile Code by Greg Morrisett. A total of 345 persons attended the Federated CSL/MFCS 98 Conference which was a great success. The program committee of CSL 98 selected 27 of 74 papers submitted for the conference.From the 27 papers selected for presentation,25 havebeen accepted, following the standard refereeeing procedure, for publication in the present p- ceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted. 452 pp. Englisch. …

Bestandsnummer des Verkäufers 9783540659228

Titel
Computer Science Logic
Autor
Georg Gottlob
Verlag
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1999
Erscheinungsjahr
1999
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3540659226
ISBN-13
9783540659228
Artikelgewicht
680 Gramm
Abmessungen
235x155x25 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Januar 2012

Versandkosten von Deutschland nach USA

Artikel5 bis 15 Werktage5 bis 15 Werktage
Erster ArtikelEUR 23,00EUR 23,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

BuchWeltWeit Ludwig Meier e.K.

Deutschland