00962nam a2200265 a 4500 vtls000090176 KUKTEM 20251125103124.0 150713t2014 flua f 001 0 eng d 9781466561557 201511231103 training1 201507131234 nadia UMP TS183 .F67 2014 Formal methods in manufacturing / edited by Javier Campos, Carla Seatzu, and Xiaolan Xie Boca Rotan : CRC Press, 2014 xviii, 698 p. : ill. ; 26 cm. Industrial information technology series Includes bibliographical references and index Manufacturing processes Mathematical models Campos, Javier Seatzu, Carla Xie, Xiaolan Industrial information technology series 0 0 0 0 20000 20000 2019-09-04 783.73 0 TS183 .F67 2014 0000103888 2019-09-04 00:00:00 1 783.73 2019-09-04 OPEN VIRTUA40 82404 82410 VTLSSORT0080*0200*0400*0900*2450*2600*3000*4900*5040*6500*7000*7001*7002*8300*9992