مشخصات کتاب

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

ویرایش: 1 
نویسندگان: John Rushby (auth.),  Rohit Gheyi,  David Naumann (eds.)  
سری: Lecture Notes in Computer Science 7498 Programming and Software Engineering 
ISBN (شابک) : 9783642332951, 9783642332968 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 234 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

کلمات کلیدی مربوط به کتاب روش های رسمی: مبانی و کاربردها: پانزدهمین سمپوزیوم برزیل ، SBMF 2012 ، ناتال ، برزیل ، 23 تا 28 سپتامبر 2012. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، مدیریت محاسبات و سیستم های اطلاعاتی، علوم کامپیوتر، عمومی

در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی: مبانی و کاربردها: پانزدهمین سمپوزیوم برزیل ، SBMF 2012 ، ناتال ، برزیل ، 23 تا 28 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش های رسمی: مبانی و کاربردها: پانزدهمین سمپوزیوم برزیل ، SBMF 2012 ، ناتال ، برزیل ، 23 تا 28 سپتامبر 2012. مجموعه مقالات

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages -
The Versatile Synchronous Observer....Pages 1-1
Thirteen Years of Automated Code Analysis at Microsoft....Pages 2-2
Model Checking Propositional Deontic Temporal Logic via a μ -Calculus Characterization....Pages 3-18
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting....Pages 19-34
Palytoxin Inhibits the Sodium-Potassium Pump – An Investigation of an Electrophysiological Model Using Probabilistic Model Checking....Pages 35-50
BETA: A B Based Testing Approach....Pages 51-66
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications....Pages 67-82
Specification Patterns for Properties over Reachable States of Graph Grammars....Pages 83-98
Compositionality and Refinement in Model-Driven Engineering....Pages 99-114
Identifying Hardware Failures Systematically....Pages 115-130
Investigating Time Properties of Interrupt-Driven Programs....Pages 131-146
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows....Pages 147-162
Composition of Model Transformations: A Categorical Framework....Pages 163-178
Verification Rules for Exception Handling in Eiffel....Pages 179-193
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications....Pages 194-209
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions....Pages 210-225
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب A MiG-15 to freedom: memoir of the wartime North Korean defector who first delivered the secret fighter jet to the Americans in 1953

دانلود کتاب Breakthroughs in Statistics

دانلود کتاب Social Construction of the Past: Representation as Power

دانلود کتاب Outlaw Women: Prison, Rural Violence, and Poverty on the New American Frontier

دانلود کتاب The Ultimate Guide To Cross Fit