Logics and Models of Concurrent Systems: NATO ASI Subseries F:, cartea 13
Editat de Krzysztof R. Apten Limba Engleză Paperback – 30 dec 2011
Din seria NATO ASI Subseries F:
- 20%
Preț: 642.70 lei - 20%
Preț: 953.88 lei - 18%
Preț: 1190.96 lei - 20%
Preț: 1847.73 lei - 20%
Preț: 631.95 lei - 18%
Preț: 1185.98 lei - 20%
Preț: 682.34 lei - 20%
Preț: 630.68 lei - 18%
Preț: 1782.54 lei - 20%
Preț: 360.65 lei - 20%
Preț: 953.40 lei - 20%
Preț: 645.09 lei - 20%
Preț: 1850.75 lei - 20%
Preț: 956.09 lei -
Preț: 374.71 lei - 20%
Preț: 632.58 lei - 20%
Preț: 658.19 lei - 18%
Preț: 1177.62 lei - 18%
Preț: 915.13 lei - 20%
Preț: 319.42 lei - 20%
Preț: 1289.49 lei - 20%
Preț: 619.89 lei -
Preț: 380.82 lei - 18%
Preț: 1173.54 lei - 15%
Preț: 646.82 lei - 20%
Preț: 620.52 lei - 20%
Preț: 1233.02 lei - 20%
Preț: 631.00 lei - 20%
Preț: 1233.33 lei - 20%
Preț: 1849.02 lei - 20%
Preț: 348.43 lei - 20%
Preț: 621.81 lei - 20%
Preț: 322.93 lei
Preț: 664.12 lei
Preț vechi: 830.16 lei
-20%
Puncte Express: 996
Carte tipărită la comandă
Livrare economică 17 septembrie-01 octombrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783642824555
ISBN-10: 3642824552
Pagini: 512
Ilustrații: VIII, 500 p.
Dimensiuni: 170 x 244 x 28 mm
Greutate: 0.87 kg
Ediția:Softcover reprint of the original 1st ed. 1985
Editura: Springer
Colecția NATO ASI Subseries F:
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642824552
Pagini: 512
Ilustrații: VIII, 500 p.
Dimensiuni: 170 x 244 x 28 mm
Greutate: 0.87 kg
Ediția:Softcover reprint of the original 1st ed. 1985
Editura: Springer
Colecția NATO ASI Subseries F:
Seria NATO ASI Subseries F:
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Temporal logic.- Using temporal logic for automatic verification of finite state systems.- Resolution modal logics.- Tools for verifying network protocols.- An axiomatic semantics of concurrent programming languages.- In transition from global to modular temporal reasoning about programs.- Syntax directed verification methods.- Correctness proofs of distributed termination algorithms.- Script: A communication abstraction mechanism and its verification.- The cooperation test: a syntax-directed verification method.- Around CCS, Theoretical CSP and distributed systems.- Notes on algebraic calculi of processes.- Deadlock analysis in networks of Communicating Processes.- A paradigm for detecting quiescent properties in distributed computations.- About fair asynchrony.- A logic for the specification and proof of controllable processes of CCS.- Specification-oriented programming in TCSP.- Miscellaneous.- Theoretical foundations for non-monotonic reasoning in expert systems.- Towards a theory of knowledge and ignorance: preliminary report.- On the development of reactive systems.