This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
GRATIS
In U.S.A.
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540356318
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020165758
Descrizione libro Condizione: New. Codice articolo 6381095-n
Descrizione libro Condizione: New. pp. 470. Codice articolo 263099872
Descrizione libro Condizione: New. pp. 470 Illus. Codice articolo 5829439
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540356318_lsuk
Descrizione libro Condizione: New. Codice articolo 6381095-n
Descrizione libro Condizione: New. Constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. This book addresses issues that range from algorithmics to support for program construction in programming languages and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 654. . 2006. Paperback. . . . . Codice articolo V9783540356318
Descrizione libro Condizione: New. Constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. This book addresses issues that range from algorithmics to support for program construction in programming languages and systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 468 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 654. . 2006. Paperback. . . . . Books ship from the US and Ireland. Codice articolo V9783540356318
Descrizione libro Kartoniert / Broschiert. Condizione: New. Refereed proceedings of the 8th International Conference on Mathematics of Program ConstructionCollects 22 revised full papers presented with 3 invited talksIssues range from algorithmics to support for program construction in programming l. Codice articolo 4888268