TY - BOOK ID - 4865252 TI - Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures AU - Bernardo, Marco. AU - Johnsen, Einar Broch. PY - 2015 SN - 9783319189413 3319189409 9783319189406 3319189417 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer Science. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Mathematical Logic and Formal Languages. KW - Probability and Statistics in Computer Science. KW - Computer science. KW - Software engineering. KW - Logic design. KW - Informatique KW - GĂ©nie logiciel KW - Structure logique KW - Engineering & Applied Sciences KW - Computer Science KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Mathematical statistics. KW - Mathematics KW - Statistical inference KW - Statistics, Mathematical KW - Statistics KW - Probabilities KW - Sampling (Statistics) KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Statistical methods KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Logic, Symbolic and mathematical. KW - Programming languages (Electronic computers) UR - https://www.unicat.be/uniCat?func=search&query=sysid:4865252 AB - This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. ER -