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ț: 1233.02 lei - 20%
Preț: 625.13 lei - 20%
Preț: 642.70 lei - 20%
Preț: 953.88 lei - 18%
Preț: 1190.96 lei - 20%
Preț: 1847.73 lei - 20%
Preț: 629.08 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ț: 629.88 lei - 18%
Preț: 1177.62 lei - 18%
Preț: 915.13 lei - 20%
Preț: 319.42 lei - 20%
Preț: 1234.45 lei - 20%
Preț: 619.89 lei -
Preț: 380.82 lei - 18%
Preț: 1173.54 lei - 15%
Preț: 618.50 lei - 20%
Preț: 620.52 lei - 20%
Preț: 631.00 lei - 20%
Preț: 1233.33 lei - 20%
Preț: 1849.02 lei - 20%
Preț: 348.43 lei
Preț: 634.14 lei
Preț vechi: 792.68 lei
-20% Nou
Puncte Express: 951
Preț estimativ în valută:
112.22€ • 130.86$ • 98.53£
112.22€ • 130.86$ • 98.53£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642824555
ISBN-10: 3642824552
Pagini: 512
Ilustrații: VIII, 500 p.
Dimensiuni: 170 x 244 x 27 mm
Greutate: 0.81 kg
Ediția:Softcover reprint of the original 1st ed. 1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
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 27 mm
Greutate: 0.81 kg
Ediția:Softcover reprint of the original 1st ed. 1985
Editura: Springer Berlin, Heidelberg
Colecția Springer
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.