Model Checking And Artificial Intelligence 5th International Workshop Mochart

NOK 774,00
+ NOK 228,49 i frakt

Model Checking And Artificial Intelligence 5th International Workshop Mochart

Solgt av:
  • product image

NOK 774,00

På lager
+ NOK 228,49 i frakt

14-dagers returpolicy

Betalingsmåter:

Produktdetaljer

Produktdetaljer

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.
  • Fruugo-ID: 557233861-1125503375
  • ISBN: 9783642004308
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 228,49 - Levering mellom kl tir. 01 desember 2026–tor. 03 desember 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur