Muutke küpsiste eelistusi

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings 1st ed. 2022 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 127 pages, kõrgus x laius: 235x155 mm, kaal: 226 g, 10 Illustrations, color; 18 Illustrations, black and white; VIII, 127 p. 28 illus., 10 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13361
  • Ilmumisaeg: 22-Jun-2022
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031098269
  • ISBN-13: 9783031098260
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings 1st ed. 2022Suurem pilt
  • Formaat: Paperback / softback, 127 pages, kõrgus x laius: 235x155 mm, kaal: 226 g, 10 Illustrations, color; 18 Illustrations, black and white; VIII, 127 p. 28 illus., 10 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13361
  • Ilmumisaeg: 22-Jun-2022
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031098269
  • ISBN-13: 9783031098260
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031098260.html
Märksõnad:
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.

The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

Formal Analysis and Proofs.- Effective Testing.