Practical TLA+ : planning driven development

By: Wayne, HillelMaterial type: TextTextPublication details: New York: Apress , 2022Description: xxiii, 212 pISBN: 9781484248324; 9781484248324Subject(s): Planning | Planning driven developmentDDC classification: 005.7 WAY
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Shelving location Call number Materials specified Status Date due Barcode
Engineering Books Presidency University Library
Computer Science Engineering 005.7 WAY (Browse shelf(Opens below)) Available 53965
Engineering Books Presidency University Library
Computer Science Engineering 005.7 WAY (Browse shelf(Opens below)) Available 53966

There are no comments on this title.

to post a comment.

© Copyright 2017 by Presidency University. All Rights Reserved.