Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031404351
Condition
New
Product Description

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifengs research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifengs recent roadmap for UTP.

Available Colors
Available Sizes
1 Offer Price Range: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$59.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

Emissionsfreie Mobilitt und Energiewende

$79.99

SmartShadow: Models and Methods for Pervasive Computing

$109.99

Management and Security in the Age of Hyperconnectivity

$39.99

Seriation, Stratigraphy, and Index Fossils

$84.99

Berufliche Qualifikationen

$49.99

Transactions on Computational Science VI

$39.99

UNIX Operating System

$99.00

The General Theory of Employment, Interest, and Money

$44.99

Versicherung als Bestandteil der Risikopolitik privater Haushalte

$59.99

Moses Mendelssohn's Metaphysics and Aesthetics

$129.00

Creating the European Area of Higher Education

$109.99

Islam Dot Com

$84.99

Marktausbreitung neuer Konsumgter

$49.99

The Economics of Superstars and Celebrities

$69.99

Smart Urban Logistics

$169.99

New Trends in Computer Graphics

$54.99

Pigments in Vegetables

$219.99

News and Views

$74.99

Anatomie und Physiologie der Capillaren

$69.99

Games for Health 2014

$44.99

Topmanagement und Angst

$64.99

Programmiersprachen

$69.99

Lsungen zum Lehrbuch Buchfhrung 1 DATEV-Kontenrahmen 2023

$19.99

Learning from Data Streams in Evolving Environments

$109.99

The Frontier of Education Reform and Development in China

$179.99

Weltgeschichte und Heilsgeschehen

$29.99

Stochastic Differential Equations

$59.99

Bucket Filling from A to Z

$5.96

Marine Biodeterioration: An Interdisciplinary Study

$54.99

Konsens als normatives Prinzip der Demokratie

$49.99

Stze und Aufgaben ber Markoffsche Prozesse

$69.99

Regelungsstrategien fr die automatische Fahrzeugfhrung

$89.99

The Role of EU Agencies in the Eurozone and Migration Crisis

$84.99

Bildung in der Praxis Offener Kinder- und Jugendarbeit

$39.99

Katheterismus des Duodenums von Suglingen

$59.99

Mere Christianity by C. S. Lewis

$24.99

Functional Bladder Reconstruction Following Spinal Cord Injury via Neural Approaches

$109.99

XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops

$84.99

Die klassischen Sttten von Jena und Jlmenau

$59.99

Systematische Bestimmungstafeln von Deutschlands wildwachsenden und cultivirten Holzgewchsen und de

$59.99