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 (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
R4,460 Discovery Miles 44 600
Add to cart
Ships in 10 - 15 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 (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,662 Discovery Miles 46 620
Add to cart
Ships in 10 - 15 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...
Shield Car Polish Paste (300ml):
Shield Car Polish Paste (300ml)
R59 Discovery Miles 590
Dig & Discover: Dinosaurs - Excavate 2 Fossils (Kit): Hinkler Pty Ltd
Dig & Discover: Dinosaurs - Excavate 2…
Hinkler Pty Ltd Kit R304 R267 Discovery Miles 2 670
Red Hot Chili Peppers - Return Of The Dream Canteen (CD): Red Hot Chili Peppers
Return Of The Dream Canteen
Red Hot Chili Peppers CD R185 R112 Discovery Miles 1 120
Webcam Cover (Black):
Webcam Cover (Black)
 (1)
 R9 Discovery Miles 90
Management And Cost Accounting (Paperback, 11th edition): Colin Drury, Mike Tayles
Management And Cost Accounting
Colin Drury, Mike Tayles Paperback R1,967 Discovery Miles 19 670
Sam Smith - Gloria (CD): Sam Smith
Gloria
Sam Smith CD R407 Discovery Miles 4 070
Sony PlayStation 5 DualSense Wireless Controller (Starlight Blue):
Sony PlayStation 5 DualSense Wireless…
R1,599 R1,479 Discovery Miles 14 790
The Dirty Secrets Of The Rich And Powerful - Exposing The Dark Side Of Capitalism (Paperback): James-Brent Styan
The Dirty Secrets Of The Rich And…
James-Brent Styan Paperback R290 R205 Discovery Miles 2 050
Colleen Pencil Crayons - Assorted Colours (Box of 12):
Colleen Pencil Crayons - Assorted…
R127 Discovery Miles 1 270
Pure Pleasure Non-Fitted Electric Blanket (Single):
Pure Pleasure Non-Fitted Electric…
 (16)
 R289 Discovery Miles 2 890

 
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