MATHEMATICS OF PROGRAM CONSTRUCTION: 9TH INTERNATIONAL CONFERENCE, MPC 2008 MARSEILLE, FRANCE, JULY 15-18, 2008 PROCEEDINGS: 5133 (Lecture Notes in Computer Science)

Print length: 423 pages
Language: English
Publication date: 4 July 2008

Name: MATHEMATICS OF PROGRAM CONSTRUCTION: 9TH INTERNATIONAL CONFERENCE, MPC 2008 MARSEILLE, FRANCE, JULY 15-18, 2008 PROCEEDINGS: 5133 (Lecture Notes in Computer Science)
SKU: 9783540705932
Availability: InStock

SKU: 9783540705932

Original price was: ₹9,094.80.Current price is: ₹8,185.32.

Explore the cutting edge of software development with ‘Mathematics of Program Construction: 9th International Conference, MPC 2008’. This essential volume, part of the esteemed Lecture Notes in Computer Science series, presents 18 meticulously reviewed papers from the 2008 Marseille conference. Dive into foundational research covering algorithmics, programming language support, type systems, program analysis, transformation, semantics, and program logics. Ideal for researchers, academics, and advanced computer science students seeking to deepen their understanding of the mathematical underpinnings of reliable and efficient software. Enhance your knowledge of program construction and contribute to the advancement of computer science with these insightful proceedings.

5 in stock

Category: Computers & Internet Tag: Philippe Audebaud