00323nam a2200133Ia 4500003000400000008004100004020002700045040000800072100001600080245003700096260002900133300001500162365001200177LDD181029s9999    xx            000 0 und d  a9788181287601c3995.00  cLDD  aBjorner, D. 0aSoftware engineeringcD. Bjorner  aNew YorkbSpringerc2008  axxx, 766p.  b3995.00