Cantitate/Preț
Produs
Total produse
Vezi coșul
Unifying Theories of Programming de David Naumann

Unifying Theories of Programming: Lecture Notes in Computer Science, cartea 8963

Editat de David Naumann
en Limba Engleză Paperback – 4 feb 2015
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 25994 lei

Preț vechi: 32493 lei
-20%

Puncte Express: 390

Carte tipărită la comandă

Livrare economică 06-20 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319148052
ISBN-10: 3319148052
Pagini: 156
Ilustrații: XI, 143 p. 10 illus.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.25 kg
Ediția:2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Numerous formal notations.- Theories of programming.- Abstraction.- Refinement.- Choice.- Termination.- Feasibility.- Locality.- Concurrency and communication.

Caracteristici

Up-to-date results Fast track conference proceedings State-of-the-art report Includes supplementary material: sn.pub/extras