Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24 papers, chosen by means of a reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science.
CHF 126.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Kleine Büning, Hans (Hrsg.) / Richter, Michael M. (Hrsg.) / Schönfeld, Wolfgang (Hrsg.)
- ISBN: 978-3-540-54487-6
- EAN: 9783540544876
- Produktnummer: 3257165
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1991
- Seitenangabe: 412 S.
- Masse: H23.5 cm x B15.5 cm x D2.2 cm 622 g
- Auflage: 1991
- Abbildungen: Paperback
- Gewicht: 622
17 weitere Werke von Egon (Hrsg.) Börger:
Advances in Software Engineering
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Ebook (PDF Format)
CHF 93.50
Abstract State Machines, B and Z
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Ebook (PDF Format)
CHF 87.00
Bewertungen
Anmelden