Recommendations for evidence-based endoscopic surgery
Subtitle: The updated EAES consensus development conferences
Contributors: Edmund Neugebauer (Editor); Stefan Sauerland (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 5, 2001
Language: eng
Format: Paperback
Number of pages: 95
ISBN-13: 9782287597091
Subjects: Surgical techniques; Vascular surgery; Surgical Instruments And Apparatus; Medical; Medical / Nursing; Surgery - General; Surgery - Thoracic; Surgery - Vascular; Endoscopic surgery; Medical / Surgery / General; recommendations; Reference
First sentence: The advent of model checking not only introduced useful tools, such a SPIN, it also brought a different focus to the field of formal methods.