Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

indgår i serie Lecture Notes in Computer Science


Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Format:
Bog, hæftet
Udgivelsesdato:
01-08-2015
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

Vis mereVis mindre

Udgivelsesdato:
01-08-2015
ISBN13:
9783319216898
Vægt:
971 g
Dybde:
36 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet

Vis mereVis mindre

Vis mereVis mindre

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

indgår i serie Lecture Notes in Computer Science

  • Leveringstid 4-6 hverdage
  • Forventet levering 25-10-2019

på lager

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.