Bu bizim Türkiye mağazamız.

Anladığımız kadarıyla Amerika Birleşik Devletleri’dasınız. Türkiye mağazamızda alışveriş yapmak için bir Türkiye adresiniz olmalı. Devam etmek için Amerika Birleşik Devletleri mağazamıza gidin.

Lectures on Runtime Verification - Introductory and Advanced Topics eKitap,

Lectures on Runtime Verification

Introductory and Advanced Topics

Özet

Bu kitap hakkında

  • Dil:English
  • ISBN:9783319756325
  • Yayın tarihi:10 Şub 2018
  • Yayınevi:Springer International Publishing
  • Baskı:Springer
  • Dosya Biçimi:EPUB2
  • Dosya boyutu:2.58 MB
  • İndirme seçenekleri:EPUB2 (Adobe DRM)

Bu seride

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky

Formal Methods in Outer Space

Ezio Bartocci,Yliès Falcone,Martin Leucker