Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

AvStephan Merz,Dominique Mery

E-bok

PDF, Engelska, 2010

739 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2010-10-01
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783642162657
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Integrated Formal Methods

Dominique Méry, Stephan Merz

Häftad, 2010

571 kr

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Häftad, 2010

853 kr

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Inbunden, 2008

853 kr

Del 8829

Formal Methods and Software Engineering

Stephan Merz, Jun Pang

Häftad, 2014

571 kr

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

E-bok

2016

739 kr

Formal Methods and Software Engineering

Jun Pang, Stephan Merz

E-bok

2014

732 kr

Modeling and Verification of Real-time Systems

Stephan Merz, Nicolas Navet

E-bok

2013

3 379 kr

Modeling and Verification of Real-time Systems

Stephan Merz, Nicolas Navet

E-bok

2010

3 379 kr

Formal Systems Specification

Manfred Broy, Stephan Merz, Katharina Spies

Häftad, 1996

571 kr

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

AvStephan Merz,Dominique Mery

E-bok

PDF, Engelska, 2010

739 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2010-10-01
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783642162657
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Integrated Formal Methods

Dominique Méry, Stephan Merz

Häftad, 2010

571 kr

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Häftad, 2010

853 kr

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Inbunden, 2008

853 kr

Del 8829

Formal Methods and Software Engineering

Stephan Merz, Jun Pang

Häftad, 2014

571 kr

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

E-bok

2016

739 kr

Formal Methods and Software Engineering

Jun Pang, Stephan Merz

E-bok

2014

732 kr

Modeling and Verification of Real-time Systems

Stephan Merz, Nicolas Navet

E-bok

2013

3 379 kr

Modeling and Verification of Real-time Systems

Stephan Merz, Nicolas Navet

E-bok

2010

3 379 kr

Formal Systems Specification

Manfred Broy, Stephan Merz, Katharina Spies

Häftad, 1996

571 kr