Books with tag Formal

 
               
Catalogue                  
 You can sort by any column. Just click on column's title. To sort in descending order - click once more.
 ViewsCoverAuthorTitlePublishedFormatUpdatedThank_to
211901316Antonio CeroneSoftware Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6 10, 2021, ... Papers (Lecture Notes in Computer Science)2024pdf5/9/2024 7:23:15 AMstirkout
211847630Marieke HuismanFormal Techniques for Distributed Objects, Components, and Systems (Lecture Notes in Computer Science)2024pdf5/3/2024 2:52:43 PMstirkout
211831427Haniel BarbosaFormal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4 8, 2023, Proceedings (Lecture Notes in Computer Science)2024pdf5/3/2024 4:25:25 AMalex21s
211832236Colin C. WilliamsFormalization of the Informal Economy: An e-Government Approach (SpringerBriefs in Economics)2024pdf5/2/2024 1:19:17 PMalex21s
211746535Pascal PieperFormal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never2024pdf4/24/2024 6:56:38 PMalex21s
211658746Javier CamaraFormal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science)2024pdf4/18/2024 5:03:58 AMgestalt
211663023Laure PetrucciFormal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19 21, 2023, Proceedings (Lecture Notes in Computer Science)2024pdf4/18/2024 4:57:40 AMstirkout
211266719Yannan DingUrban Informal Settlements: Chengzhongcun and Chinese Urbanism2024pdf3/31/2024 4:13:12 AMmaveriks
211264813Rina AgarwalaGendering Struggles Against Informal and Precarious Work (Political Power and Social Theory, 35)2024epub3/31/2024 3:57:16 AMmaveriks
211254913Maria Vittoria FerroniUrban Informality: A Multidisciplinary Perspective2024pdf3/31/2024 2:46:26 AMmaveriks
12345678910

(C) FreeBookSpot 2007 - 2024