This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Pe...
详细信息
ISBN:
(数字)9783642041648
ISBN:
(纸本)9783642041631
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September 10, 2009 - were on subjects related to Peter's many technical contributions and they were a tribute to his lasting impact on the field. Topics addressed by the papers are action semantics, security policy design, colored petri nets, order-sorted parameterization and induction, object-oriented action semantics, structural operational semantics, model transformations, the scheme programming language, type checking, action algebras, and denotational semantics.
is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of s...
详细信息
ISBN:
(数字)9783031345180
ISBN:
(纸本)9783031345173;9783031345203
is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques.
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.;The authors used this book successfully as a text for a MSc...
详细信息
ISBN:
(数字)9783540686743
ISBN:
(纸本)9783540614883
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.;The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
Gain the skills required to create fun and compelling games using GameMaker: Studio, and its GML programming language. In this full-color book you’ll learn 24 practical programming elements that are important when cr...
详细信息
ISBN:
(数字)9781484223734
ISBN:
(纸本)9781484223727
Gain the skills required to create fun and compelling games using GameMaker: Studio, and its GML programming language. In this full-color book you’ll learn 24 practical programming elements that are important when creating any game. Each section includes an introduction to a new programming element, some examples, a worksheet, and mini projects to allow you to test your new knowledge. After completing all elements, you will put into action what you have learned in a classic arcade style game.;In;, you will create a fully featured game, with guidance and in color, using version 1.4. After each section you’ll see how you’ll apply what you’ve learned to the final game, and discover additional projects to try. These mini projects include a separate scoring guide, and a working example for each, which is useful if you’re using this book in an educational environment. Similarly, the book also contains a number of assignments, which you may include as part of any associated coursework in your classes.;Experienced game developers new to GameMaker or for those with at least some prior exposure or experience with GameMaker: Studio but who are new to GML.
Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algor...
详细信息
ISBN:
(数字)9783658298500
ISBN:
(纸本)9783658298494
Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen Sie zunächst die Grundkonzepte des Programmierens kennen, die in allen Programmiersprachen ähnlich sind. Auf Basis dieser Grundideen erlernen Sie dann auf systematische Weise und mit vielen praktischen Übungen zwei populäre und sehr nützliche Programmiersprachen, Python und JavaScript, die Sie für ein breites Spektrum an unterschiedlichen Aufgaben einsetzen können.;Das Buch richtet sich an Programmieranfänger aller Altersklassen (vom Schüler bis zum Berufstätigen), die bisher keinerlei Programmiererfahrung besitzen.
暂无评论