Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Hardcover, 2006 ed.): Wojciech... Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Hardcover, 2006 ed.)
Wojciech Penczek, Agata Polrola
R4,163 Discovery Miles 41 630
Add to cart
Ships in 18 - 22 working days

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Paperback, Softcover reprint of... Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach (Paperback, Softcover reprint of hardcover 1st ed. 2006)
Wojciech Penczek, Agata Polrola
R3,989 Discovery Miles 39 890
Add to cart
Ships in 18 - 22 working days

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Handbook of Research on Big Data Analytics and Artificial Intelligence in the Healthcare Industry (Hardcover): Jose Machado,...
Handbook of Research on Big Data…
Jose Machado, Hugo Peixoto, … Hardcover R10,591 Discovery Miles 105 910
Principles of Helicopter Flight Dynamics (Hardcover): Yihua Cao
Principles of Helicopter Flight Dynamics
Yihua Cao Hardcover R2,119 Discovery Miles 21 190
Holding On When You Want To Let Go - Clinging To Hope When Life Is Falling Apart (Paperback, Itpe): Sheila Walsh
Holding On When You Want To Let Go…
Sheila Walsh Paperback R150 R138 Discovery Miles 1 380
The Records of Living Officers of the U.S. Navy & Marine Corps - Compiled From Official Sources (Hardcover): Lewis Randolph...
The Records of Living Officers of the…
Lewis Randolph 1847-1910 Hamersly Hardcover R981 Discovery Miles 9 810
The Return Of The Gods (Paperback): Jonathan Cahn
The Return Of The Gods
Jonathan Cahn Paperback R399 R367 Discovery Miles 3 670
Now That's What I Call Disney Princess (CD): Various Artists
Now That's What I Call Disney Princess
Various Artists CD  (1)
 R187 Discovery Miles 1 870
The Missing Sister (Paperback): Lucinda Riley
The Missing Sister
Lucinda Riley Paperback  (1)
 R299 R271 Discovery Miles 2 710
The Nature of the Industrial Innovation Process (Hardcover): Gunnar H Sohlenius
The Nature of the Industrial Innovation…
Gunnar H Sohlenius Hardcover R2,843 Discovery Miles 28 430
Geroep vir Meer - Hoe om suksesvol te leef (Afrikaans, Paperback): Hykie Berg
Geroep vir Meer - Hoe om suksesvol te…
Hykie Berg Paperback R265 R237 Discovery Miles 2 370
Elements of Classical and Quantum Integrable Systems (Hardcover, 1st ed. 2019): Gleb Arutyunov
Elements of Classical and Quantum…
Gleb Arutyunov Hardcover R2,490 Discovery Miles 24 900

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners