Now Publishers Inc Qed at large. a survey of engineering of formally verified software, paperback/zachary tatlock

Now Publishers Inc

Now Publishers Inc Qed at large. a survey of engineering of formally verified software, paperback/zachary tatlock

Vezi magazinul Elefant

2 stele, bazat pe 1 voturi

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools.

The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

748.99 ^Lei
Pret vechi: ~~753.99 Lei~~
Discount -1%

Cu cate stelute ai vota acest produs?

Magazine carte straina

Computing & information technology

Elefant

Clientii au cumparat si

-1%

Qed at large. a survey of engineering of formally verified software, paperback/zachary tatlock

Qed at large. a survey of engineering of formally verified software, paperback/zachary tatlock

748.99 ^Lei

Wearable android. android wear and google fit app development, paperback/sanjay m. mishra

Wearable android. android wear and google fit app development, paperback/sanjay m. mishra

363.00 ^Lei

Data in society. challenging statistics in an age of globalisation, paperback/***

Data in society. challenging statistics in an age of globalisation, paperback/***

274.99 ^Lei

Automation and utopia. human flourishing in a world without work, hardback/john danaher

Automation and utopia. human flourishing in a world without work, hardback/john danaher

284.99 ^Lei

Microsoft word 2010 step by step, paperback/joyce cox

Microsoft word 2010 step by step, paperback/joyce cox

159.00 ^Lei

Financial freedom through electronic day trading, hardback/brian june

Financial freedom through electronic day trading, hardback/brian june

293.99 ^Lei

Advanced global illumination, hardback/kavita bala

Advanced global illumination, hardback/kavita bala

541.00 ^Lei

-1%

Beginning sql server 2008 for developers. from novice to professional, paperback/robin dewson

Beginning sql server 2008 for developers. from novice to professional, paperback/robin dewson

328.99 ^Lei

Discrete mathematics, paperback/norman l. (professor of mathematics, london school of economics, university of london) biggs

Discrete mathematics, paperback/norman l. (professor of mathematics, london school of economics, university of london) biggs

471.99 ^Lei

Beginning perl for bioinformatics, paperback/james tisdall

Beginning perl for bioinformatics, paperback/james tisdall

201.99 ^Lei

-18%

Computer forensics for dummies, paperback/reynaldo anzaldua

Computer forensics for dummies, paperback/reynaldo anzaldua

115.99 ^Lei

-18%

Web operations, paperback/jesse robbins

Web operations, paperback/jesse robbins

160.99 ^Lei

How to cheat in motion, paperback/patrick sheffield

How to cheat in motion, paperback/patrick sheffield

175.99 ^Lei

Programming in prolog. using the iso standard, paperback/william f. (university of cambridge) clocksin

Programming in prolog. using the iso standard, paperback/william f. (university of cambridge) clocksin

320.00 ^Lei

Art of prolog. advanced programming techniques, paperback/ehud y. (weizmann institute of science) shapiro

Art of prolog. advanced programming techniques, paperback/ehud y. (weizmann institute of science) shapiro

555.00 ^Lei

Invitation to 3-d vision. from images to geometric models, hardback/shankar sastry

Invitation to 3-d vision. from images to geometric models, hardback/shankar sastry

548.99 ^Lei

-1%

Neurocomputing research developments, hardback/***

Neurocomputing research developments, hardback/***

997.99 ^Lei

Learning mysql and mariadb. heading in the right direction with mysql and mariadb, paperback/russell dyer

Learning mysql and mariadb. heading in the right direction with mysql and mariadb, paperback/russell dyer

244.00 ^Lei

Photoshop cs6: essential skills, paperback/philip andrews

Photoshop cs6: essential skills, paperback/philip andrews

238.00 ^Lei

Demographic methods and concepts, paperback/donald t. (reader in population studies, the australian national university) rowland

Demographic methods and concepts, paperback/donald t. (reader in population studies, the australian national university) rowland

497.99 ^Lei

Discrete mathematics for computing, paperback/rod haggarty

Discrete mathematics for computing, paperback/rod haggarty

437.99 ^Lei

Information rules. a strategic guide to the network economy, hardback/hal r. varian

Information rules. a strategic guide to the network economy, hardback/hal r. varian

180.00 ^Lei

Game artist's guide to maya, paperback/michael mckinley

Game artist's guide to maya, paperback/michael mckinley

195.99 ^Lei

Mathematical and computer programming techniques for computer graphics, hardback/peter comninos

Mathematical and computer programming techniques for computer graphics, hardback/peter comninos

960.00 ^Lei

Creating a web site with flash. visual quickproject guide, paperback/david morris

Creating a web site with flash. visual quickproject guide, paperback/david morris

61.00 ^Lei

Final cut pro workflows. the independent studio handbook, paperback/robbie carman

Final cut pro workflows. the independent studio handbook, paperback/robbie carman

153.99 ^Lei

-1%

Principles and practices of interconnection networks, hardback/brian patrick (stanford university, palo alto, ca) towles

Principles and practices of interconnection networks, hardback/brian patrick (stanford university, palo alto, ca) towles

452.99 ^Lei

Unicode explained, paperback/jukka k. korpela

Unicode explained, paperback/jukka k. korpela

293.00 ^Lei

-3%

Bgp. building reliable networks with border gateway protocol, paperback/iljitsch van beijnum

Bgp. building reliable networks with border gateway protocol, paperback/iljitsch van beijnum

195.99 ^Lei

-1%

Handbook of software quality assurance, hardback/***

Handbook of software quality assurance, hardback/***

607.99 ^Lei

Concepts in programming languages, hardback/john c. (stanford university, california) mitchell

Concepts in programming languages, hardback/john c. (stanford university, california) mitchell

485.00 ^Lei

-18%

Fonts and encodings, paperback/yannis haralambous

Fonts and encodings, paperback/yannis haralambous

241.99 ^Lei

-18%

Internet communications using sip. delivering voip and multimedia services with session initiation protocol, hardback/alan b. johnston

Internet communications using sip. delivering voip and multimedia services with session initiation protocol, hardback/alan b. johnston

351.99 ^Lei

-63%

Mpls and next-generation networks. foundations for ngn and enterprise virtualization, paperback/monique morrow

Mpls and next-generation networks. foundations for ngn and enterprise virtualization, paperback/monique morrow

79.99 ^Lei

-77%

Mathematics of program construction, paperback/***

Mathematics of program construction, paperback/***

57.00 ^Lei

-1%

Testing extreme programming, paperback/tip house

Testing extreme programming, paperback/tip house

202.99 ^Lei

Connectionism and the mind. parallel processing, dynamics, and evolution in networks, paperback/adele a. abrahamsen

Connectionism and the mind. parallel processing, dynamics, and evolution in networks, paperback/adele a. abrahamsen

248.00 ^Lei

-1%

Mathematica (r) book, version 4, hardback/stephen (wolfram research inc., illinois) wolfram

Mathematica (r) book, version 4, hardback/stephen (wolfram research inc., illinois) wolfram

799.99 ^Lei

-14%

Digital tectonics, paperback/***

Digital tectonics, paperback/***

238.99 ^Lei

Introduction to digital audio coding and standards, hardback/richard e. goldberg

Introduction to digital audio coding and standards, hardback/richard e. goldberg

753.99 ^Lei

Categorii Now Publishers Inc

Carte straina/computing & information technology/databases

Computer networking & communications

Computer security

Computing & information technology

Economics, finance, business & management

Information technology: general issues

Reference, information & interdisciplinary subjects

Technology, engineering, agriculture

Now Publishers Inc Qed at large. a survey of engineering of formally verified software, paperback/zachary tatlock

748.99 Lei