QR Code

The ASM Workbench. A tool environment for computer-aided analysis and validation of abstract state machine models /

Saved in:

Bibliographic Details
Main Author:	Castillo, Giuseppe Del
Format:	Book
Language:	English
Published:	Paderborn : Universität, 2001
Edition:	[1st ed.]
Series:	Heinz Nixdorf Institut Verlagsschriftenreihe Band 83
Subjects:	modelovanie softvéru > hardvér
ISBN:	3931466825
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software testing and analysis and co-located workshops MIT'10, PADTAD'10, STOV'10 and WODA'10 : ISSTA'10, proceedings of the 2010 international symposium, Trento, Italy, July 12-16, 2010 /
by: Arcuri, Andrea
Published: (2010)

Transactions of the ASME:

Řízení životního cyklu aplikací ve Visual Studiu 2010 /
by: Gousset, Mickey
Published: (2010)

Fuzzing for software security testing and quality assurance /
by: Takanen, Ari, et al.
Published: (2008)

FSE'10, proceedings of the 18th ACM SIGSOFT symposium, Santa Fe, USA, November 7-11, 2010 / Foundations of software engineering
by: Elkhodary, Ahmed
Published: (2011)

Emerging technologies for the evolution and maintenance of software models /
by: Rech, Jörg, et al.
Published: (2012)

Mandriva Linux 2008.1 CZ : instalační a uživatelská příručka /
by: Bíbr, Ivan
Published: (2008)

Čistý kód /
by: Martin, Robert C.
Published: (2009)

What ICT practitioners do : towards a European e-competence framework : summary of a joint European effort involving a wide range of stakeholders across the EU /
Published: (2006)

The science of radio with MATLAB and ELECTRONICS WORKBENCH demonstrations /
by: Nahin, Paul J.
Published: (2001)

ASM HANDBOOK OF ENGINEERING MATHEMATICS /
by: Chu, Mamerto L.
Published: (1983)

Computers. Tools for an information age /
by: Capron, H. L.
Published: (1998)

Software development : an open source approach /
by: Tucker, Allen, et al.
Published: (2011)

Machine tools /
by: Černov, N. N.
Published: (1975)

HMI - professional in human machine interface
Published: (2012)

Strategien für die Echtzeit-Programmierung /
by: Hatley, Derek J.
Published: (1993)

97 klíčových znalostí softwarového architekta /
by: Monson-Haefel, Richard
Published: (2010)

Jak testuje software Microsoft /
by: Page, Alan, et al.
Published: (2009)

The art of software testing /
by: Myers, Glenford J. 1946-, et al.
Published: (2012)

Řízení kvality softwaru : průvodce testováním /
by: Roudenský, Petr, et al.
Published: (2013)

Údržba kódu převzatých programů /
by: Feathers, Michael C.
Published: (2009)

Software specification methods /
by: Habrias, Henri, et al.
Published: (2006)

Machine Tools : výrobní program
Published: (2011)

Machine Tools : catalog 2012
Published: (2012)

Technology of machine tools /
by: Krar, Steve F.
Published: (1993)

Machine tool products.
Published: (2010)

Machine tool practices /
by: Kibbe, Richard R.
Published: (1979)

[Machine tool accessories]
Published: (2011)

Sensors for machine tools.
Published: (2006)

Machine tool design.
by: Fedotenok, A. A., et al.
Published: (1982)

Machine tool design.
by: Ačerkan, N. S.
Published: (1982)

Machine tool design.
by: Ignatjev, N. V.
Published: (1982)

Stavíme si počítač /
by: Broža, Petr 1978-
Published: (2000)

Troubleshooting and repairing PCs. Beyond the basics /
by: Hordeski, Michael F.
Published: (1997)

Počítačové systémy a siete /
by: Halász, Jozef 1946-
Published: (2000)

Science of computer programming : methods of software design: techniques and applications

Virus proof /
by: Schmauder, Phil
Published: (2000)

Automated software engineering : ASE'10, proceedings of the 25th IEEE/ACM international conference, Antwerp, Belgium, September 20-24, 2010 /
by: Abdul Khalek, Shadi
Published: (2010)

Testování softwaru řízené návrhem /
by: Stephens, Matt, et al.
Published: (2011)