Deductive software verification - the KeY book : from theory to practice /

QR Code

Deductive software verification - the KeY book : from theory to practice /

Bibliographic Details
Format:	Book
Published:	c2016.
Online Access:	Ver documento en línea

Similar Items

Deductive software verification: future perspectives : reflections on the occasion of 20 years of KeY /
Published: (2020)

Embedded software verification and debugging /
Published: (2017)

Deduction /
by: Johnson Laird, Philip Nicholas 1936-, et al.
Published: (1991)

String Analysis for Software Verification and Security /
by: Bultan, Tevfik., et al.
Published: (2017)

Software Engineering: Specification, Implementation, Verification /
by: Alagić, Suad.
Published: (2017)

Deduction : introductory symbolic logic /
by: Bonevac, Daniel 1955-, et al.
Published: (1987)

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published: (2017)

Sa Ke balawa = Los antecesores cabécas /
by: Morales Ruiz, José Noel
Published: (2013)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

An introduction to deductive logic
by: Leblanc, Hugues 1924-, et al.
Published: (1955)

Quantifiers, deduction. and context /
by: Kanazawa, Makoto 1964-
Published: (1996)

Techniques of deductive inference
by: Leblanc, Hugues
Published: (1966)

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published: (2017)

The instruction of Ptah-hotep and the instruction of Ke'gemni : the oldest books in the world /
Published: (1906)

Empirical software engineering and verification : international summer schools, LASER 2008-2010, Elba Island, Italy. Revised tutorial lectures /
Published: (2012)

On theory and verification in sociology /
by: Zetterberg, Hans Lennard 1927-
Published: (1965)

On theory and verification in sociology
by: Zetterberg, Hans L.
Published: (1965)

Experimental results and evolutionary deductions
by: Wright, Sewall n. 1889, et al.

Deductive logic and descriptive language /
by: Harrison, Frank R.
Published: (1969)

New Puzzles in Logical Deduction
by: Summers, George J.
Published: (1968)

Automated deduction - CADE 26 /
Published: (2017)

New puzzles in logical deduction /
by: Summers, George J.
Published: (1968)

Deduction, computation, experiment : exploring the effectiveness of proof /
Published: (2008)

Newer Methods of Polymer Characterization / Bacon Ke
by: Ke, Bacon

Advances in natural deduction : A Celebration of Dag Prawitz's Work.

Accuracy verification methods : theory and algorithms /
by: Mali, Olli
Published: (2014)

Verification and validation of software related to nuclear power plant instrumentation and control
Published: (1999)

Equity in unequal deductions : implications of income tax rules in Ghana and Nigeria /
by: Leechor, Chad 1952-
Published: (1989)

Automated deduction - cade-25 : 25th international conference on automated deduction, Berlin, Germany, august 1-7, 2015, proceedings /
Published: (2015)

Automated deduction - CADE 26 : 26th international conference on automated deduction, Gothenburg, Sweden, august 6-11, 2017, Proceedings /
Published: (2017)

Automated deduction - CADE 27 : 27th international conference on automated deduction, Natal, Brazil, august 27-30, 2019, proceedings /
Published: (2019)

Automated deduction - CADE 22 : 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings /
Published: (2019)

Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred, et al.
Published: (1965)

Induction vs. deduction, pte. 2
by: Piaget, Jean 1896-1980

Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred
Published: (1961)

A Method of anatomy; descriptive and deductive
by: Grat, John Charles Boileau
Published: (1944)

Automated deduction - CADE 23 : 23rd international conference on automated deduction, Wrocław, Poland, july 31 - August 5, 2011. Proceedings /
Published: (2011)

Automated deduction - CADE 24 : 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings /
Published: (2013)

Verification : how much is enough? /
by: Krass, Allan S.
Published: (1985)

A new spring for Taiwan ´ Ke-tse ópera /
Published: (2003)