Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Značka: Springer International Publishing AG
Obchod: Bookshop.cz
Parametry: manufacturer: springer international publishing ag, categorytext: softwarové inženýrství
Do obchodu 🏠
Guide to Software Verification with Frama-C
Cena již od: 1 650 Kč

Mohlo by vás také zajímat

Introduction to Software Design - Hu, Chenglie
Bookshop.cz
1 500 Kč
Requirements Engineering - Dick, Jeremy a Hull, Elizabeth a Jackson, Ken
Bookshop.cz
1 950 Kč
Software Technologies: Applications and Foundations
Bookshop.cz
1 350 Kč
Handbook of Requirements and Business Analysis - Meyer, Bertrand
Bookshop.cz
1 500 Kč
ISTQB® Certified Tester Foundation Level - Stapp, Lucjan a Roman, Adam a Pilaeten, Michael
Bookshop.cz
1 650 Kč
SafeScrum® – Agile Development of Safety-Critical Software - Hanssen, Geir Kjetil a Stalhane, To
Bookshop.cz
2 100 Kč
UML @ Classroom - Seidl, Martina a Scholz, Marion a Huemer, Christian a Kappel, Gerti
Bookshop.cz
1 650 Kč
Reference Architectures for Critical Domains
Bookshop.cz
3 000 Kč
Applied Reconfigurable Computing. Architectures, Tools, and Applications
Bookshop.cz
3 300 Kč
Minimum You Need to Know About the Phallus of Agile - Hughes, Roland
Bookshop.cz
1 313 Kč
Software Developer's Career Handbook, The - Loop, Michael
Bookshop.cz
1 017 Kč
Competing with Unicorns - Rasmusson, Jonathan
Bookshop.cz
591 Kč
Design Patterns in .NET - Yaroshenko, Timur
Bookshop.cz
985 Kč
Multicore Software Development Techniques - Oshana, Robert (Vice President of Software Engineeri
Bookshop.cz
1 297 Kč
Artificial Intelligence and Software Testing - Black, Rex a Davenport, James a Olszewska, Joanna
Bookshop.cz
1 050 Kč
Balancing Coupling in Software Design - Khononov, Vlad
Bookshop.cz
1 050 Kč
Web Scalability for Startup Engineers - Ejsmont, Artur
Bookshop.cz
1 650 Kč
Software Architecture and Decision-Making - Perera, Srinath
Bookshop.cz
960 Kč
Software Architect Elevator - Hohpe, Gregor
Bookshop.cz
1 457 Kč
Foundations of Scalable Systems - Gorton, Ian
Bookshop.cz
1 457 Kč
Fearless Change - Manns, Mary Lynn, Ph.D. a Rising, Linda
Bookshop.cz
1 110 Kč
Advanced Software Testing V 2. 2e - Black, Rex
Bookshop.cz
1 238 Kč
Information Systems Reengineering, Integration and Normalization - Fong, Joseph S. P. a Wong Tin
Bookshop.cz
1 531 Kč
Software Architecture for Big Data and the Cloud
Bookshop.cz
2 849 Kč
Testing Elixir - Leopardi, Andrea a Matthias, Jeffrey
Bookshop.cz
1 017 Kč
Restful Web API Patterns and Practices Cookbook - Amundsen, Mike
Bookshop.cz
1 457 Kč
Domain-Driven Design Distilled - Vernon, Vaughn
Bookshop.cz
885 Kč
Practical Test Design - Forgacs, Istvan a Kovacs, Attila
Bookshop.cz
1 350 Kč
Learning Domain-Driven Design - Khononov, Vladik
Bookshop.cz
1 457 Kč
Building Software Teams - Visser, Joost a Rigal, Sylvan a Wijnholds, Gijs a Lubsen, Zeeger
Bookshop.cz
550 Kč
Head First Git - Ghandi, Raju
Bookshop.cz
1 760 Kč
Righting Software - Lowy, Juval
Bookshop.cz
1 140 Kč
Software Engineering for Data Scientists - Nelson, Catherine
Bookshop.cz
1 540 Kč
Software Engineering for Absolute Beginners - Loubser, Nico
Bookshop.cz
1 200 Kč
Implementing Lean Software Development - Poppendieck, Mary a Poppendieck, Tom
Bookshop.cz
1 110 Kč
Grokking Simplicity - Normand, Eric
Bookshop.cz
1 200 Kč
Learn Computer Science with Swift - Feiler, Jesse
Bookshop.cz
690 Kč
Software Engineering at Google - Winters, Titus a Wright, Hyrum a Manshrek, Tom
Bookshop.cz
1 457 Kč
Micro Frontends in Action - Geers, Michael
Bookshop.cz
1 200 Kč
Math and Architectures of Deep Learning - Chaudhury, Krishnendu
Bookshop.cz
1 590 Kč
Cloud Native Spring in Action: With Spring Boot and Kubernetes - Vitale, Thomas
Bookshop.cz
1 560 Kč
Incident Management for Operations - Schnepp, Rob a Vidal, Ron a Hawley, Chris
Bookshop.cz
880 Kč
Optimizing Data-to-Learning-to-Action - Flinn, Steven
Bookshop.cz
692 Kč
97 Things Every Scrum Practitioner Should Know - Verheyen, Gunther
Bookshop.cz
1 100 Kč
Security Requirements Engineering - Dalpiaz, Fabiano (Assistant Professor, Utrecht University) a
Bookshop.cz
1 560 Kč
Software Testing Foundations, 5th Edition - Spillner, Andreas a Linz, Tilo
Bookshop.cz
1 155 Kč
Docker in Practice, Second Edition - Miell, Ian a Hobson Sayers, Aiden
Bookshop.cz
1 200 Kč
97 Things Every Java Programmer Should Know - Henney, Kevlin a Gee, Trisha
Bookshop.cz
1 100 Kč
Type-driven Development with Idris - Brady, Edwin
Bookshop.cz
1 200 Kč
Software Telemetry: Reliable logging and monitoring - Riedesel, Jamie
Bookshop.cz
1 440 Kč
Networking and Kubernetes - Strong, James a Lancey, Vallery
Bookshop.cz
1 457 Kč
Programming Elixir 1.6 - Thomas, Dave
Bookshop.cz
1 059 Kč
Modern Software Testing Techniques - Forgacs, Istvan a Kovacs, Attila
Bookshop.cz
1 200 Kč
Learn Git in a Month of Lunches - Umali, Rick
Bookshop.cz
750 Kč
Practical Process Automation - Ruecker, Bernd
Bookshop.cz
1 457 Kč
Data Mesh - Dehghani, Zhamak
Bookshop.cz
1 760 Kč
Building Solutions with the Microsoft Power Platform - Rivera, Jason
Bookshop.cz
1 760 Kč
Thinking with Data - Shron, Max
Bookshop.cz
770 Kč
Programming Interviews Exposed - Mongan, John a Kindler, Noah Suojanen a Giguere, Eric
Bookshop.cz
688 Kč
Software Engineering, Global Edition - Sommerville, Ian
Bookshop.cz
2 715 Kč
Midovo.cz | podmínky použití | kontakt