Türkçe Kitaplar
- Kategoriler
  Tüm Kategoriler
  Bisiklet Mucizesi
  
  “Kentsel olan her yere yayılıyor ama biz şehri kaybettik, kendimizi de gözden kaybediyoruz. Dolayısıyla, evet, şehirleri şehirlerin dışına atan hareketi tersine çevirerek insanların kendilerinin ve yaşadıkları yerlerin yeniden bilincine varmasına yardımcı ...
İngilizce Kitaplar
- Kategoriler
  - Roman-Öykü
  - Çizgi Roman
  - Çocuk
  - Tarih
  - Şehir Tarihi
  - Dergiler
  Tüm Kategoriler
  Politics of Culture in Turkey, Greece and Cyprus : Performing the Left Since the Sixties
  
  Performing a political identity usually involves more than just casting a vote. For Left-wingers in Turkey, Greece and Cyprus – countries that emerged as the only non-socialist constituents of South-eastern Europe after WWII – political preference meant ...
Üniversite Kitapları
- Tüm Kategoriler
  History of Modern Psychology 11E
  
  History doesn't have to be dull, and this book is living proof with coverage of interesting topics ranging from the controversial use of IQ tests at Ellis Island to the psychodynamics of gum chewing. A market leader for over 30 years, A HISTORY OF MODERN ...
Kırtasiye/Aksesuar
- Tüm Kategoriler
  Nazar Göz Kağıt Ağırlığı
  
  Ev veya ofis dekorasyonu için tasarlanan, postaları, mektupları veya kağıtları tutmaya yarayan kâğıt ağırlıkları cam üzerine özel basım tekniği uygulanarak üretilmiştir.
  Masanızda veya sehpanızda hem dekoratif hem de fonksiyonel olarak kullanabilirsiniz.
  Nemli ...

Formal System Verification : State of the Art and Future Trends - Drechsler, Rolf

Favori Yazarlarıma Ekle Favori Kitaplarıma Ekle

Formal System Verification : State of the Art and Future Trends

Rolf Drechsler

Yayınevi: Springer Verlag

Yayın tarihi: 07/2017

ISBN: 9783319576831

Ciltli | İngilizce | 200 Sayfa | 16,31x23,6x1,8 cm.

Tür: Elektrik-Elektronik

Temin Süresi iş günü
ÜYE GİRİŞİ YAPIN

stoklarımıza girdiğinde bilgilendirelim

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

Detaylı Bilgi ve Tanıtım