Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
University of Colorado Boulder
Skills you'll gain: Hardware Design, Computational Logic, Computer Programming, Computer Architecture, Programming Principles, System Programming
University of Leeds
Skills you'll gain: Software Testing
Status: FreeUniversitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Design, Problem Solving, Algorithms, Systems Design
Status: FreeStanford University
Skills you'll gain: Computational Logic, Mathematics, Problem Solving, Critical Thinking
Status: FreeDeepLearning.AI
Skills you'll gain: Python Programming
Johns Hopkins University
University of Colorado Boulder
Skills you'll gain: Hardware Design, Computational Logic, Computer Architecture, Leadership and Management, Design and Product, Microarchitecture, Systems Design, Computer Programming Tools, Critical Thinking, Computer Programming, Programming Principles, System Programming
Duke University
Skills you'll gain: Cloud Computing, Data Science, Machine Learning, Python Programming
Status: FreeDeepLearning.AI
University of Illinois Urbana-Champaign
Skills you'll gain: Algebra, Algorithms, Computational Logic, Mathematics
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Foundations of Software Testing and Validation:Â University of Leeds
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Introduction to Logic:Â Stanford University
- Functions, Tools and Agents with LangChain:Â DeepLearning.AI
- Linear Algebra from Elementary to Advanced:Â Johns Hopkins University
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
- Large Language Model Operations (LLMOps):Â Duke University
- Chip based VLSI design for Industrial Applications:Â L&T EduTech
- LangChain for LLM Application Development:Â DeepLearning.AI
