Automata, Languages and Programming
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
Häftad, 1997
1 479 kr
Del i serien Lecture Notes in Computer Science
Programming Languages and Systems
12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Häftad, Engelska, 2003
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.
Produktinformation
- Utgivningsdatum2003-03-14
- Mått155 x 235 x 24 mm
- Vikt657 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor420
- Upplaga2003
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540008866
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Formal Methods for Computational Systems Biology
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Häftad, 2008
739 kr
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
Häftad, 2009
739 kr
Formal Aspects of Security and Trust
Pierpaolo Degano, Sandro Etalle, Joshua Guttman
Häftad, 2011
739 kr
THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 6TH ITALIAN CONFERENCE
DEGANO PIERPAOLO, Pierpaolo Degano, Ugo Vaccaro, Giuseppe Pirillo
Inbunden, 1998
2 989 kr
Hoppa över listan
Mer från samma serie
Del 16375
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
959 kr
Del 16625
Hoppa över listan
Du kanske också är intresserad av
Del 16502
Del 9458
Del 13008
Del 12075
Del 13240
Del 10801