Computer Aided Verification: 31st International Conference, CAV 2019, New York City, ... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. Datamodellering og simulering
  6. Kunstig intelligens
  7. Kompilatorer og fortolkere
  8. Softwareudvikling
  9. Computer Aided Verification: 31st International Conference,...

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

(Bog, Paperback / softback, Engelsk)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Forlag: Springer Nature Switzerland AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Computere og hardware Datamodellering og simulering Kompilatorer og fortolkere Kunstig intelligens Matematisk datateori Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2019 ed.
Udgivelsesdato 13-07-2019
Første udgivelsesår 2019
Serie Lecture Notes in Computer Science
Illustrationer 106 Illustrations, color; 897 Illustrations, black and white
Fagredaktør Isil Dillig, Serdar Tasiran
Originalsprog Switzerland
Sideantal 673
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 673 pages, 106 Illustrations, color; 897 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030255398