Model Checking And Artificial Intelligence 5th International Workshop Mochart

₺4.099,00
+ ₺1.508,99 Kargo

Model Checking And Artificial Intelligence 5th International Workshop Mochart

Satıcı:
  • product image

₺4.099,00

Stokta var
+ ₺1.508,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

Ürün detayları

Ürün detayları

Model Checking And Artificial Intelligence 5th International Workshop Mochart

Verifying Time And Communication Costs Of Rule-based Reasoners.- Solving?-calculus Parity Games By Symbolic Planning.- Verifying Robocup Teams.- Scaling Search With Pattern Databases.- Survey On Directed Model Checking.- Automated Testing Of Planning Models.- Towards Partial Order Reduction For Model Checking Temporal Epistemic Logic.- Model Checking Driven Heuristic Search For Correct Programs.- Experimental Evaluation Of A Planning Language Suitable For Formal Verification.- Relaxation Refinement: A Method To Generate Heuristic Functions.- Model Checking Strategic Equilibria.
  • Marka: Springer Nature B.V
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Paperback
  • Yayın Tarihi: 2009-02-27
  • Dil: English
  • Yazar: Springer Nature B.V
  • Sayfa Sayısı: 200
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 557233861-1125503375
  • ISBN: 9783642004308
Teslimat

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.508,99 - Arasında teslimat Çar 25 Kasım 2026–Çar 09 Aralık 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle