Formal methods for industrial critical systems : (Record no. 18544)

MARC details
000 -BAŞLIK
Sabit Uzunluktaki Kontrol Alanı 02545nam a2200265 i 4500
001 - KONTROL NUMARASI
Control Dosyası 0000000000004382
003 - KONTROL NUMARASI KİMLİĞİ
Kontrol Alanı KOHA_mirakil
005 - EN SON İŞLEM TARİHİ ve ZAMANI
Kontrol Alanı 20230303160351.0
008 - SABİT UZUNLUKTAKİ VERİ ÖGELERİ - GENEL BİLGİ
Sabit Alan 210105s2012 tu ||||| |||| 00| 0 eng d
020 ## - ISBN - ULUSLARARASI STANDART KİTAP NUMARASI
Isbn 9783642324697
040 ## - KATALOGLAMA KAYNAĞI
Özgün Kataloglama Kurumu TR-AnABU
Kataloglama Dili tur
Çeviri Kurumu TR-AnABU
041 0# - DİL KODU
Metin ya da ses kaydının dil kodu eng
044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE
ISO country code tu
050 ## - SINIFLAMA ve YER NUMARASI
Sınıflama Numarası QA76.9.F67
Yer Numarası I594 2012
090 ## - YEREL YER NUMARASI
Yerel Yer Numarası QA76.9.F67 I594 2012
245 0# - ESER ADI BİLDİRİMİ
Başlık Formal methods for industrial critical systems :
Alt Eseradı vb. 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 Proceedings/
Sorumluluk Bildirimi edited by : Mariëlle Stoelinga, Ralf Pinger.
300 ## - FİZİKSEL TANIMLAMA
Sayfa, Cilt vb. xiv, 223 sayfa :
Diğer fiziki detaylar resim ;
Boyutları 26 cm
505 ## - İÇİNDEKİLER NOTU
İçindekiler Notu This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.Real-Time Specification Patterns and Tools -- Automated Extraction of Abstract Behavioural Models from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.- Waiting for Locks: How Long Does It Usually Take? -- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs -- Range Analysis of Binaries with Minimal Effort -- Combining Analyses for C Program Verification -- Model Checking the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations -- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.- Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems -- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. .
650 #0 - KONU BAŞLIĞI EK GİRİŞ - KONU TERİMİ
Konusal terim veya coğrafi ad Biçimsel metodlar (Bilgisayar bilimi)
650 #0 - KONU BAŞLIĞI EK GİRİŞ - KONU TERİMİ
Konusal terim veya coğrafi ad Formal methods (Computer science)
700 1# - EK GİRİŞ - KİŞİ ADI
Yazar Adı (Kişi adı) Stoelinga, Mariëlle,
İlişkili Terim edited by
700 1# - EK GİRİŞ - KİŞİ ADI
Yazar Adı (Kişi adı) Pinger, Ralf,
İlişkili Terim edited by
942 ## - EK GİRİŞ ÖGELERİ (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Koha item type Book
260 #1 - YAYIN, DAĞITIM, VB.
Yayın Yeri Berlin :
Yayınevi Springer Berlin Heidelberg,
Yayın Tarihi 2012.
Holdings
Geri Çekilme Durumu Kayıp Durumu Sınıflandırma Kaynağı Kredi için değil Kalıcı Konum Mevcut Konum Kayıt Tarih Edinim Kaynağı Son Kontrol Tarihi Toplam Ödünçverme Yer Numarası Demirnaş Numarası Son Görülme Tarihi Fatura Tarihi Materyal Türü Genel / Bağış Notu
    Library of Congress Classification   ANKARA BİLİM ÜNİVERSİTESİ ANKARA BİLİM ÜNİVERSİTESİ 22/10/2021 Bağış 05/01/2021   QA 76.9 .F67 I594 2012 0004382 05/01/2021 02/03/2023 Book Hasan Doğan