Springer-verlag New York Inc. Modal and temporal properties of processes, paperback/colin stirling

Springer-verlag New York Inc.

Springer-verlag New York Inc. Modal and temporal properties of processes, paperback/colin stirling

Vezi magazinul Elefant

O stea, bazat pe 1 voturi

In recent years, model checking has become an essential technique for the formal verification of systems.

It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

513.99 ^Lei

Cu cate stelute ai vota acest produs?

Magazine carte straina

Computing & information technology

Elefant

Clientii au cumparat si

Modal and temporal properties of processes, paperback/colin stirling

Modal and temporal properties of processes, paperback/colin stirling

513.99 ^Lei

Technology and the gendering of music education, hardback/victoria armstrong

Technology and the gendering of music education, hardback/victoria armstrong

579.00 ^Lei

Concurrency. state models and java programs, hardback/jeff kramer

Concurrency. state models and java programs, hardback/jeff kramer

474.99 ^Lei

Sas programming and data visualization techniques. a power user's guide, paperback/philip r. holland

Sas programming and data visualization techniques. a power user's guide, paperback/philip r. holland

227.00 ^Lei

-62%

Pattern recognition in computational molecular biology. techniques and approaches, hardback/albert y. zomaya

Pattern recognition in computational molecular biology. techniques and approaches, hardback/albert y. zomaya

248.00 ^Lei

Web services. concepts, architectures and applications, hardback/vijay machiraju

Web services. concepts, architectures and applications, hardback/vijay machiraju

409.99 ^Lei

Cybersecurity in the european union. resilience and adaptability in governance policy, hardback/george christou

Cybersecurity in the european union. resilience and adaptability in governance policy, hardback/george christou

585.00 ^Lei

-1%

Representations of musical signals, paperback/***

Representations of musical signals, paperback/***

236.99 ^Lei

-6%

Testing computer software, paperback/hung q. nguyen

Testing computer software, paperback/hung q. nguyen

540.99 ^Lei

-1%

Cyber-risk informatics. engineering evaluation with data science, hardback/mehmet sahinoglu

Cyber-risk informatics. engineering evaluation with data science, hardback/mehmet sahinoglu

724.99 ^Lei

Algebraic complexity theory, paperback/mohammad a. shokrollahi

Algebraic complexity theory, paperback/mohammad a. shokrollahi

616.99 ^Lei

-1%

Multilayer social networks, hardback/luca rossi

Multilayer social networks, hardback/luca rossi

496.99 ^Lei

Multimedia for cultural heritage. first international workshop, mm4ch 2011, modena, italy, may 3, 2011, revised selected papers, paperback/***

Multimedia for cultural heritage. first international workshop, mm4ch 2011, modena, italy, may 3, 2011, revised selected papers, paperback/***

555.99 ^Lei

Logistic core operations with sap. inventory management, warehousing, transportation, and compliance, paperback/matthias koch

Logistic core operations with sap. inventory management, warehousing, transportation, and compliance, paperback/matthias koch

548.99 ^Lei

Collaborative annotation for reliable natural language processing. technical and sociological aspects, hardback/karen fort

Collaborative annotation for reliable natural language processing. technical and sociological aspects, hardback/karen fort

555.99 ^Lei

-1%

Bayesian computation with r, paperback/jim albert

Bayesian computation with r, paperback/jim albert

351.99 ^Lei

-18%

New community rules. marketing on the social web, paperback/tamar weinberg

New community rules. marketing on the social web, paperback/tamar weinberg

100.99 ^Lei

-1%

Scheduling problems & solutions, hardback/***

Scheduling problems & solutions, hardback/***

754.99 ^Lei

-15%

Environmental monitoring with arduino. building simple devices to collect data about the world around us, paperback/emily gertz

Environmental monitoring with arduino. building simple devices to collect data about the world around us, paperback/emily gertz

34.00 ^Lei

Players and their pets. gaming communities from beta to sunset, hardback/jason begy

Players and their pets. gaming communities from beta to sunset, hardback/jason begy

366.00 ^Lei

Digital media strategies of the far right in europe and the united states, hardback/***

Digital media strategies of the far right in europe and the united states, hardback/***

506.00 ^Lei

Foundations of machine learning, hardback/ameet (university of california, berkeley) talwalkar

Foundations of machine learning, hardback/ameet (university of california, berkeley) talwalkar

426.99 ^Lei

Boosting. foundations and algorithms, paperback/yoav (professor, university of california, san diego) freund

Boosting. foundations and algorithms, paperback/yoav (professor, university of california, san diego) freund

225.00 ^Lei

-63%

Silverlight 3 programmer's reference, paperback/joe croney

Silverlight 3 programmer's reference, paperback/joe croney

77.99 ^Lei

-18%

Internet is not the answer, hardback/andrew keen

Internet is not the answer, hardback/andrew keen

85.99 ^Lei

77-424 microsoft access 2013, paperback/***

77-424 microsoft access 2013, paperback/***

1015.00 ^Lei

Testing python. applying unit testing, tdd, bdd and acceptance testing, paperback/david sale

Testing python. applying unit testing, tdd, bdd and acceptance testing, paperback/david sale

140.99 ^Lei

Ospf and is-is. from link state routing principles to technologies, hardback/rui valadas

Ospf and is-is. from link state routing principles to technologies, hardback/rui valadas

395.99 ^Lei

Beginning java and flex. migrating java, spring, hibernate and maven developers to adobe flex, paperback/filippo di pisa

Beginning java and flex. migrating java, spring, hibernate and maven developers to adobe flex, paperback/filippo di pisa

229.99 ^Lei

Web search engine research, hardback/***

Web search engine research, hardback/***

463.00 ^Lei

Language of ict. information and communication technology, paperback/tim (university of bristol, uk) shortis

Language of ict. information and communication technology, paperback/tim (university of bristol, uk) shortis

193.99 ^Lei

Licensed to drive/mary tillworth

Licensed to drive/mary tillworth

75.00 ^Lei

Essential logic for computer science, hardcover/rex page

Essential logic for computer science, hardcover/rex page

349.99 ^Lei

The joy of ux: user experience and interactive design for developers, paperback/david platt

The joy of ux: user experience and interactive design for developers, paperback/david platt

208.00 ^Lei

Meta-states: mastering the higher levels of your mind, paperback/l. michael hall

Meta-states: mastering the higher levels of your mind, paperback/l. michael hall

264.99 ^Lei

Street fighter classic volume 1: round 1 - fight!, paperback/ken siu-chong

Street fighter classic volume 1: round 1 - fight!, paperback/ken siu-chong

113.99 ^Lei

Social systems, paperback/niklas luhmann

Social systems, paperback/niklas luhmann

225.99 ^Lei

-18%

Remaking «family» communicatively, paperback/leslie a. baxter

Remaking «family» communicatively, paperback/leslie a. baxter

201.00 ^Lei

-18%

Predator: the original comics series - concrete jungle and other stories, hardcover/mark verheiden

Predator: the original comics series - concrete jungle and other stories, hardcover/mark verheiden

210.99 ^Lei

Digital slr cameras and photography for dummies, paperback/david d. busch

Digital slr cameras and photography for dummies, paperback/david d. busch

138.99 ^Lei

Categorii Springer-verlag New York Inc.

Computer networking & communications

Computing & information technology

Economics, finance, business & management

Lifestyle, hobbies & leisure

Mathematics & science

Medicine & nursing

Technology, engineering, agriculture

Springer-verlag New York Inc. Modal and temporal properties of processes, paperback/colin stirling

513.99 Lei

Vezi detalii