مرور بر اساس تاریخ انتشار Mathematical Logic and Foundations. ;

Showing results 1 to 6 of 6
PreviewIssue DateTitleContributor(s)
9783662555644.pdf.jpg2018Computational ArtifactsTurner, Raymond. ;
9783319105741.pdf.jpg2018Handbook of Model CheckingClarke, Edmund M. ;; Henzinger, Thomas A. ;; Veith, Helmut. ;; Bloem, Roderick. ;
9783319436692.pdf.jpg2017The IncomputableCooper, S. Barry. ;; Soskova, Mariya I. ;
9783319635873.pdf.jpg2018Logical Foundations of Cyber-Physical SystemsPlatzer, Andre. ;
9783319654294.pdf.jpg2018The Lvov-Warsaw School. Past and PresentGarrido, eengel. ;; Wybraniec-Skardowska, Urszula. ;
9783319555591.pdf.jpg2017Process Algebras for Petri NetsGorrieri, Roberto. ;
Showing results 1 to 6 of 6