Mukund madhavan (15 Ergebnisse)

XI, 346 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2245. Sprache: Englisch. …

Zustand: New. In English.

Zustand: New. In English.

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Paperback. Zustand: Brand New. 2012 edition. 433 pages. 9.06x6.06x1.02 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. Concurrency theory is a research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of research in concurrency. It covers contemporary topics, including Petri Nets, Temporal Logics, Program Verification with concurrent threads, Computational Trust, and more. Editor(s): Lodaya, Kamal; Mukund, Madhavan. Num Pages: 484 pages. BIC Classification: UB. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 156. Weight in Grams: 1043. . 2009. Hardback. . . . . Books ship from the US and Ireland.…

Zustand: New. pp. viii + 410 Illus.

Hardcover. Zustand: Brand New. 1st edition. 505 pages. 9.50x6.25x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings | Madhavan Mukund (u. a.) | Taschenbuch | xiv | Englisch | 2012 | Springer | EAN 9783642333859 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Gebunden. Zustand: New. Lodaya, Kamal Mukund, MadhavanKamal Lodaya, Madhavan Mukund and R Ramanujam, Institute of Mathematical Sciences, Chennai.Concurrency theory is an important research area within theoretical computer science, with applications in parallel and dist.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions.They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.…