Cantitate/Preț
Produs
Total produse
Vezi coșul
Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings de Shengchao Qin

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6445

Editat de Shengchao Qin
en Limba Engleză Paperback – 21 oct 2010

Din seria Lecture Notes in Computer Science

Preț: 33289 lei

Preț vechi: 41612 lei
-20% Nou

Puncte Express: 499
Preț estimativ în valută:
6371€ • 6572$ • 5392£

Carte disponibilă

Livrare economică 11-25 februarie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642166891
ISBN-10: 364216689X
Pagini: 310
Ilustrații: VIII, 310 p. 17 illus.
Greutate: 0.43 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Specification Coverage for Testing in Circus.- UTP and Sustainability.- A Probabilistic BPEL-Like Language.- On Modelling User Observations in the UTP.- Unifying Theories of Confidentiality.- Saoithín: A Theorem Prover for UTP.- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.- Programmable Verifiers in Imperative Programming.- Unifying Theories in Isabelle/HOL.- Unifying Recursion in Partial, Total and General Correctness.- Halting Still Standing – Programs versus Specifications.- Promoting Models.- Probabilistic Choice, Reversibility, Loops, and Miracles.- Towards a Pomset Semantics for a Shared-Variable Parallel Language.- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.