{"product_id":"9783319335995","title":"Lecture Notes in Computer Science: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings\u003c\/h1\u003e \u003ch2\u003eButler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book\nconstitutes the refereed proceedings of the 5th International Conference on Abstract\nState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in\nMay 2016. \u003cbr\u003e\nThe 17 full and 15 short papers presented in this volume were carefully\nreviewed and selected from 61 submissions. They record the latest research\ndevelopments in state-based formal methods Abstract State Machines, Alloy, B,\nCircus, Event-B, TLS+, VDM and Z.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2016-05-11\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319335995\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-33600-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 426\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":44775365378188,"sku":"9783319335995","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319335995.jpg?v=1774013855","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319335995","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}