Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Εμφάνιση άλλων εκδόσεων (1)

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevan...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Nielson, Hanne Riis (Συγγραφέας), Nielson, Flemming (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Springer London, 2007.
Σειρά:	Undergraduate Topics in Computer Science,
Θέματα:	Computer science. Programming languages (Electronic computers). Computer logic. Computer Science. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Semantics with Applications: An Appetizer
ανά: Nielson, Hanne Riis
Έκδοση: (2007)

Concrete Semantics With Isabelle/HOL /
ανά: Nipkow, Tobias, κ.ά.
Έκδοση: (2014)

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Έκδοση: (2007)

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /
Έκδοση: (2005)

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
Έκδοση: (2006)

Abstract Computing Machines A Lambda Calculus Perspective /
ανά: Kluge, W.
Έκδοση: (2005)

Formal Languages and Compilation
ανά: Crespi Reghizzi, Stefano
Έκδοση: (2009)

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Έκδοση: (2014)

Drawing Programs: The Theory and Practice of Schematic Functional Programming
ανά: Addis, Tom, κ.ά.
Έκδοση: (2010)

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
Έκδοση: (2007)

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
Έκδοση: (2005)

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
Έκδοση: (2009)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Έκδοση: (2015)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Έκδοση: (2014)

Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
Έκδοση: (2004)

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
Έκδοση: (2012)

Programming Languages and Operational Semantics A Concise Overview /
ανά: Fernández, Maribel
Έκδοση: (2014)

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /
Έκδοση: (2012)

Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
Έκδοση: (2011)

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
Έκδοση: (2005)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings /
Έκδοση: (2006)

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
Έκδοση: (2008)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Έκδοση: (2007)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Έκδοση: (2007)

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Έκδοση: (2015)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
Έκδοση: (2008)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
Έκδοση: (2008)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Έκδοση: (2006)

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Έκδοση: (2011)

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Έκδοση: (2009)

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Έκδοση: (2009)

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Έκδοση: (2011)

Specification of Software Systems
ανά: Alagar, V.S, κ.ά.
Έκδοση: (2011)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Έκδοση: (2014)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
Έκδοση: (2005)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
Έκδοση: (2006)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Έκδοση: (2005)

Model-Based Testing of Reactive Systems Advanced Lectures /
Έκδοση: (2005)

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
Έκδοση: (2012)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Έκδοση: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_0vj6pvp27nspaa1b6qu705s629