Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science - Manfred Broy - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540262787 - 2005年6月27日
如封面与标题不符,以标题为准

Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science 2005 edition

价格
元 379
不含税

远程仓调货

预计送达时间 年6月22日 - 年7月2日
添加至iMusic心愿单

The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.


664 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2005年6月27日
ISBN13 9783540262787
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 664
商品尺寸 155 × 235 × 34 mm   ·   898 g
语言 法语  
编辑 Broy, Manfred
编辑 Jonsson, Bengt
编辑 Katoen, Joost-Pieter
编辑 Leucker, Martin
编辑 Pretschner, Alexander

Manfred Broy的更多作品

显示全部

Mere med samme udgiver