The French School of Programming - Image 1

£115.99

Springer The French School of Programming

Name: The French School of Programming
Brand: Springer
Price: 115.99 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£116 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £121 (12 days, 27.3%)

Price range: £116 - £127

Price levels: 4 different prices over 44 days

Description

The French School of Programming 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. The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions. This book will be of special interest to anyone with an interest in modern views of programming ― on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… ― and in the insights of a brilliant group of innovators in the field.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3031345177
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 30 April 2024
Listed Since: 29 April 2023

Barcode

No barcode data available

Springer The French School of Programming

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Programming Language Explorations

Programming Language Explorations

Concepts in Programming Languages

Springer Programming Language Design and Implementation Book

Theories of Programming Languages

Theories of Programming Languages

Understanding Programming Languages

Introduction to Programming Languages

Introduction to Programming Languages

Practical Foundations for Programming Languages

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Programming Languages: Build, Prove, and Compare

Programming Language Pragmatics

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Essentials of Programming Languages 3e (OIP) (The MIT Press)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Types & Programming Languages (The MIT Press)

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Programming Languages: Principles and Paradigms

Programming Language Pragmatics

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 4421)