Andere Kunden interessierten sich auch für
![On-Screen Language in Video Games]( "On-Screen Language in Video Games")
On-Screen Language in Video Games23,99 €![The Media Workflow Puzzle]( "The Media Workflow Puzzle")
The Media Workflow Puzzle54,99 €![Intro Speech Language Processing]( "Intro Speech Language Processing")
Intro Speech Language Processing89,99 €![A Beginner's Guide to Japan]( "A Beginner's Guide to Japan")
A Beginner's Guide to Japan9,99 €![An Introduction to C & GUI Programming 2e]( "An Introduction to C & GUI Programming 2e")
An Introduction to C & GUI Programming 2e13,99 €![Quick Start Guide to Large Language Models: Strategies and Best Practices for Using ChatGPT and Other LLMs]( "Quick Start Guide to Large Language Models: Strategies and Best Practices for Using ChatGPT and Other LLMs")
Quick Start Guide to Large Language Models: Strategies and Best Practices for Using ChatGPT and Other LLMs38,56 €![Machine Knowledge]( "Machine Knowledge")
Machine Knowledge104,99 €
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.