Suchergebnisse - Development of automatic program verification for continuous function chart based on model checking

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Kowalewski, Stefan (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Dong, Jin Song (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Dubois, Catherine (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Fitzgerald, John (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Degano, Pierpaolo (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Barkaoui, Kamel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

A primer on scientific programming with Python

Langtangen, Hans Petter (Verfasser)

5th edition

Heidelberg ; Dordrecht ; London ; New York : Springer, [2016]

Buch

Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings

Miguel, Ian (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Simulation-based case studies in logistics : education and applied research

Merkurʹev, Jurij (Hrsg.)

London : Springer, 2009

Buch

Automata logics, and infinite games : a guide to current research

Grädel, Erich (Herausgeber)

Berlin : Springer, 2002

Buch

Objects, Components, Models and Patterns : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Oriol, Manuel (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

A primer on scientific programming with Python

Langtangen, Hans Petter (Verfasser)

3. edition

Berlin : Springer, 2012

Buch

Component-based software testing with UML : with 24 tables

Gross, Hans-Gerhard

Berlin [u.a.] : Springer, 2005

Buch

A primer on scientific programming with Python

Langtangen, Hans Petter (Verfasser)

2. edition

Berlin : Springer, 2011

Buch

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Suzuki, Kenji (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

E-Book

Scientific computing in electrical engineering

Anile, Angelo Marcello (Herausgeber)

Berlin : Springer, 2006

Buch

Drivetrain for vehicles 2014

VDI-Gesellschaft Produkt- und Prozessgestaltung

Nichtred. Ms.-Dr.

Düsseldorf : VDI-Verlag, 2014

Buch

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Meyer, Bertrand (Herausgeber)

1st edition 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 21 - 40 von 134

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken