Formal methods · RefHub

English Intermediate

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... Programming and Software Engineering)

Marcel Vinícius Medeiros Oliveira,Jim Woodcock

2009 مشاهدهٔ کتاب

English Intermediate

Nicolas Blanc,Daniel Kroening (auth.),Marcel Vinícius Medeiros Oliveira,Jim Woodcock (eds.)

2009 مشاهدهٔ کتاب

English Intermediate

Michael Leuschel,Jens Bendisposto (auth.),Jim Davies,Leila Silva,Adenilso Simao (eds.)

2011 مشاهدهٔ کتاب

English Beginner

Myungchul Kim,Byoungmoon Chin,Sungwon Kang,Danhyung Lee

2001 مشاهدهٔ کتاب

English Beginner

Ralph-Johan Back (auth.),Andrew Butterfield (eds.)

2010 مشاهدهٔ کتاب

English Beginner

David Naumann (eds.)

2015 مشاهدهٔ کتاب

English Unordered

Manfred Broy

1991 January―1991 March مشاهدهٔ کتاب