0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • R2,500 - R5,000 (4)
  • -
Status
Brand

Showing 1 - 6 of 6 matches in All Departments

The Unknown Component Problem - Theory and Applications (Hardcover, 2012): Tiziano Villa, Nina Yevtushenko, Robert K. Brayton,... The Unknown Component Problem - Theory and Applications (Hardcover, 2012)
Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, …
R4,048 Discovery Miles 40 480 Ships in 18 - 22 working days

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.

Testing of Communicating Systems - Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems... Testing of Communicating Systems - Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98) August 31-September 2, 1998, Tomsk, Russia (Hardcover, 1998 ed.)
Nina Yevtushenko
R4,212 Discovery Miles 42 120 Ships in 18 - 22 working days

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing. This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.

The Unknown Component Problem - Theory and Applications (Paperback, 2012 ed.): Tiziano Villa, Nina Yevtushenko, Robert K.... The Unknown Component Problem - Theory and Applications (Paperback, 2012 ed.)
Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, …
R4,020 Discovery Miles 40 200 Ships in 18 - 22 working days

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.

Testing of Communicating Systems - Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems... Testing of Communicating Systems - Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98) August 31-September 2, 1998, Tomsk, Russia (Paperback, Softcover reprint of the original 1st ed. 1998)
Nina Yevtushenko
R4,034 Discovery Miles 40 340 Ships in 18 - 22 working days

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing. This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.

Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11,... Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings (Paperback, 1st ed. 2017)
Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun
R2,301 Discovery Miles 23 010 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates,... Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings (Paperback, 1st ed. 2015)
Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko
R2,111 Discovery Miles 21 110 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Tarot - How to Read Tarot Cards and…
Silvia Hill Hardcover R715 R639 Discovery Miles 6 390
Ethereal Visions Tarot - Luna Edition
Matt Hughes Cards R624 R534 Discovery Miles 5 340
Basics of Tarot
Manisha Koushik Book R418 Discovery Miles 4 180
Vuurvoel
Elmarie Viljoen-Massyn Paperback R335 R299 Discovery Miles 2 990
Numerology for Beginners - Master and…
Michelle Northrup Hardcover R668 R597 Discovery Miles 5 970
The Homemade God
Rachel Joyce Paperback R395 R353 Discovery Miles 3 530
Stranger Things Tarot Deck and Guidebook
Casey Gilly R485 R319 Discovery Miles 3 190
For One More Day
Mitch Albom Paperback  (2)
R310 R280 Discovery Miles 2 800
The Boy Who Could Keep A Swan In His…
John Hunt Paperback  (1)
R304 Discovery Miles 3 040
Fool Proof Tarot
Anmarie Uber Paperback R538 Discovery Miles 5 380

 

Partners