ISBN: 9783642214363 - fm 2011: formal methods: 17th international symposium on formal methods, limerick, ireland, june 20-24, 2011, proceedings: 6664 (9 risultati)

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Paperback. Condizione: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 450 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Condizione: new. Questo è un articolo print on demand.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedings State of the art research Up-to-date resultsThis book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.…